The cat is rough. The cat needs the cow. The cat visits the cow. The cat visits the mouse. The cow eats the cat. The cow is cold. The cow is green. The cow is rough. The cow needs the cat. The cow needs the mouse. The mouse eats the cow. The mouse is cold. The mouse is nice. The mouse is young. The mouse visits the cat. The mouse visits the cow. If something visits the cow then the cow is young. If something eats the cat and the cat is nice then the cat is cold. If something visits the cow then it needs the mouse.
The cat eats the cat.
@0: The cat is rough.[(triple1)] The cat needs the cow.[(triple2)] The cat visits the cow.[(triple3)] The cat visits the mouse.[(triple4)] The cow eats the cat.[(triple5)] The cow is cold.[(triple6)] The cow is green.[(triple7)] The cow is rough.[(triple8)] The cow needs the cat.[(triple9)] The cow needs the mouse.[(triple10)] The mouse eats the cow.[(triple11)] The mouse is cold.[(triple12)] The mouse is nice.[(triple13)] The mouse is young.[(triple14)] The mouse visits the cat.[(triple15)] The mouse visits the cow.[(triple16)] @1: The cat needs the mouse.[(((triple3) -> rule3))] The cow is young.[(((triple16) -> rule1) OR ((triple3) -> rule1))] The mouse needs the mouse.[(((triple16) -> rule3))]