The cow chases the rabbit. The cow eats the rabbit. The cow is blue. The cow is round. The cow does not need the rabbit. The rabbit does not chase the cow. The rabbit does not eat the cow. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is round. The rabbit needs the cow. If the cow eats the rabbit then the rabbit is cold. If the cow needs the rabbit and the cow does not eat the rabbit then the rabbit does not chase the cow. If something chases the rabbit then it chases the cow. If something chases the rabbit and the rabbit is big then it eats the cow. If something chases the cow and it does not need the rabbit then it is blue. If something chases the rabbit then the rabbit does not eat the cow.
The rabbit is not blue.
@0: The cow chases the rabbit.[(triple1)] The cow does not need the rabbit.[(triple5)] The cow eats the rabbit.[(triple2)] The cow is blue.[(triple3 OR ((((triple1) -> rule3) triple5) -> rule5))] The cow is round.[(triple4)] The rabbit does not chase the cow.[(triple6)] The rabbit does not eat the cow.[(triple7 OR ((triple1) -> rule6))] The rabbit is big.[(triple8)] The rabbit is cold.[(triple9 OR ((triple2) -> rule1))] The rabbit is green.[(triple10)] The rabbit is round.[(triple11)] The rabbit needs the cow.[(triple12)] @1: The cow chases the cow.[(((triple1) -> rule3))] The cow eats the cow.[(((triple1 triple8) -> rule4))]