The cat is cold. The cat is not rough. The cow visits the cat. If the cow likes the cat then the cow needs the cat. If the cat is not big then the cat does not need the cow. If the cat is cold then the cat likes the cow. If someone likes the cat then they are cold. If someone likes the cow then they do not need the cat. If someone visits the cow then they do not need the cow. If someone needs the cow and the cow does not visit the cat then the cow likes the cat. If someone visits the cow and they do not need the cow then they are rough.
The cat needs the cat.
@0: The cat is cold.[(triple1)] The cat is not rough.[(triple2)] The cow visits the cat.[(triple3)] @1: The cat likes the cow.[(((triple1) -> rule3))] @2: The cat does not need the cat.[(((((triple1) -> rule3)) -> rule5))]