The cow chases the rabbit. The cow eats the rabbit. The cow is blue. The cow is rough. The cow visits the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is nice. The rabbit is rough. The rabbit visits the cow. If something visits the cow and the cow is blue then the cow visits the rabbit. If something chases the cow and the cow eats the rabbit then the cow is cold. If something visits the rabbit and it eats the rabbit then the rabbit is rough. If something is rough and blue then it is cold. If something is cold then it eats the rabbit. If something visits the cow then the cow chases the rabbit.
The rabbit is not cold.
@0: The cow chases the rabbit.[(triple1 OR ((triple10) -> rule6))] The cow eats the rabbit.[(triple2 OR ((((triple4 triple3) -> rule4)) -> rule5))] The cow is blue.[(triple3)] The cow is rough.[(triple4)] The cow visits the rabbit.[(triple5 OR ((triple10 triple3) -> rule1))] The rabbit chases the cow.[(triple6)] The rabbit eats the cow.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is rough.[(triple9 OR ((triple5 triple2) -> rule3) OR ((((triple10 triple3) -> rule1) triple2) -> rule3) OR ((triple5 ((((triple4 triple3) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 triple3) -> rule1) ((((triple4 triple3) -> rule4)) -> rule5)) -> rule3))] The rabbit visits the cow.[(triple10)] @1: The cow is cold.[(((triple4 triple3) -> rule4) OR ((triple6 triple2) -> rule2))]