The cow eats the rabbit. The cow is not blue. The cow does not see the rabbit. The cow does not visit the rabbit. The rabbit is blue. The rabbit is not cold. The rabbit sees the cow. If something eats the rabbit then it is not cold. If the cow visits the rabbit and the rabbit is blue then the rabbit does not eat the cow. If something eats the rabbit then the rabbit eats the cow. If something is red then it visits the cow. If something eats the cow then it is red. If something sees the cow then the cow does not visit the rabbit. If something visits the rabbit and it sees the cow then it is not young. If something is green and not red then it sees the rabbit.
The rabbit is young.
@0: The cow does not see the rabbit.[(triple3)] The cow does not visit the rabbit.[(triple4 OR ((triple7) -> rule6))] The cow eats the rabbit.[(triple1)] The cow is not blue.[(triple2)] The rabbit is blue.[(triple5)] The rabbit is not cold.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The cow is not cold.[(((triple1) -> rule1))] The rabbit eats the cow.[(((triple1) -> rule3))] @2: The rabbit is red.[(((((triple1) -> rule3)) -> rule5))] @3: The rabbit visits the cow.[(((((((triple1) -> rule3)) -> rule5)) -> rule4))]