The cat likes the cow. The cat visits the cow. The cow is blue. If someone needs the cat then they need the cow. If someone likes the cat then the cat likes the cow. If someone needs the cat then the cat likes the cow. If someone likes the cat then they visit the cow. If someone visits the cow then the cow needs the cat. If someone is kind and they do not like the cow then they visit the cat.
The cow is cold.
@0: The cat likes the cow.[(triple1 OR ((((triple2) -> rule5)) -> rule3))] The cat visits the cow.[(triple2)] The cow is blue.[(triple3)] @1: The cow needs the cat.[(((triple2) -> rule5))] @2: The cow needs the cow.[(((((triple2) -> rule5)) -> rule1))]