//Test T -> F
RelationshipPredicate lP = new RelationshipPredicate(utils.getRelation(0), new SpecVar[] {utils.getVar(4), utils.getVar(3)});
RelationshipPredicate rP = new RelationshipPredicate(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(2)});
ImpliesPredicate pred = new ImpliesPredicate(lP, rP);
FusionEnvironment env = new TestEnvironment(utils.getContext(0), Variant.SOUND_VARIANT);
assertEquals(ThreeValue.FALSE, pred.getTruth(env, utils.getSub(0)));
}