The cat is blue. The cat is cold. The cat is red. The cat needs the cow. The cat needs the mouse. The cat visits the rabbit. The cow is red. The cow is rough. The cow is round. The cow likes the cat. The cow likes the mouse. The cow likes the rabbit. The cow visits the rabbit. The mouse likes the cow. The mouse needs the cow. The rabbit is round. If the cow is red and the cow needs the rabbit then the rabbit is round. If the mouse likes the rabbit and the rabbit is cold then the mouse likes the cat. All cold things are rough. If something visits the cow then it needs the rabbit. If something likes the rabbit then the rabbit needs the cow. If something likes the cat then the cat likes the mouse.
The cat needs the cow.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is red.[(triple3)] The cat needs the cow.[(triple4)] The cat needs the mouse.[(triple5)] The cat visits the rabbit.[(triple6)] The cow is red.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow likes the cat.[(triple10)] The cow likes the mouse.[(triple11)] The cow likes the rabbit.[(triple12)] The cow visits the rabbit.[(triple13)] The mouse likes the cow.[(triple14)] The mouse needs the cow.[(triple15)] The rabbit is round.[(triple16)] @1: The cat is rough.[(((triple2) -> rule3))] The cat likes the mouse.[(((triple10) -> rule6))] The rabbit needs the cow.[(((triple12) -> rule5))]