The cat likes the cow. The cat likes the tiger. The cat visits the tiger. The cow likes the tiger. The cow visits the cat. The cow visits the tiger. The tiger likes the cow. If someone likes the cow and the cow is kind then the cow eats the cat. If someone likes the cat then the cat is cold. If the tiger is rough then the tiger is red. If someone likes the tiger then they like the cow. If someone visits the cow then they like the cat. If the cow likes the tiger and the cow visits the tiger then the tiger visits the cow.
The tiger does not visit the tiger.
@0: The cat likes the cow.[(triple1 OR ((triple2) -> rule4))] The cat likes the tiger.[(triple2)] The cat visits the tiger.[(triple3)] The cow likes the tiger.[(triple4)] The cow visits the cat.[(triple5)] The cow visits the tiger.[(triple6)] The tiger likes the cow.[(triple7)] @1: The cow likes the cow.[(((triple4) -> rule4))] The tiger visits the cow.[(((triple4 triple6) -> rule6))] @2: The tiger likes the cat.[(((((triple4 triple6) -> rule6)) -> rule5))] @3: The cat is cold.[(((((((triple4 triple6) -> rule6)) -> rule5)) -> rule2))]