The cat is cold. The cat is rough. The cat is round. The cat likes the cow. The cow likes the cat. The cow needs the cat. The cow visits the cat. If someone needs the cat then the cat is rough. If someone is cold and round then they like the cat. If someone is green and they like the cat then they need the cat.
The cow needs the cat.
@0: The cat is cold.[(triple1)] The cat is rough.[(triple2 OR ((triple6) -> rule1))] The cat is round.[(triple3)] The cat likes the cow.[(triple4)] The cow likes the cat.[(triple5)] The cow needs the cat.[(triple6)] The cow visits the cat.[(triple7)] @1: The cat likes the cat.[(((triple1 triple3) -> rule2))]