The cow is cold. The cow is nice. The cow is young. The cow likes the rabbit. The cow sees the rabbit. The cow visits the rabbit. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit sees the cow. If something likes the cow and the cow sees the rabbit then the cow is young. If the rabbit is big and the rabbit is cold then the rabbit is nice. If something visits the rabbit and it is young then it sees the rabbit. If the cow sees the rabbit then the cow likes the rabbit. If the rabbit sees the cow and the cow is big then the cow visits the rabbit. If something is cold then it visits the cow.
The cow does not see the rabbit.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2)] The cow is young.[(triple3)] The cow likes the rabbit.[(triple4 OR ((triple5) -> rule4) OR ((((triple6 triple3) -> rule3)) -> rule4))] The cow sees the rabbit.[(triple5 OR ((triple6 triple3) -> rule3))] The cow visits the rabbit.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is cold.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The cow visits the cow.[(((triple1) -> rule6))] The rabbit is nice.[(((triple7 triple9) -> rule2))] The rabbit visits the cow.[(((triple9) -> rule6))]