The cat needs the cow. The cat sees the cow. The cat sees the rabbit. The cat visits the rabbit. The cow sees the rabbit. The cow visits the rabbit. The rabbit is nice. The rabbit sees the cat. The rabbit visits the tiger. The tiger visits the cow. If something needs the cow then it is cold. If something is cold then it visits the cat. If something sees the tiger then the tiger sees the cat. If something visits the cat then the cat sees the tiger. If something needs the tiger then the tiger is nice. If something sees the rabbit and it sees the cat then the rabbit sees the tiger.
The cat sees the tiger.
@0: The cat needs the cow.[(triple1)] The cat sees the cow.[(triple2)] The cat sees the rabbit.[(triple3)] The cat visits the rabbit.[(triple4)] The cow sees the rabbit.[(triple5)] The cow visits the rabbit.[(triple6)] The rabbit is nice.[(triple7)] The rabbit sees the cat.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger visits the cow.[(triple10)] @1: The cat is cold.[(((triple1) -> rule1))] @2: The cat visits the cat.[(((((triple1) -> rule1)) -> rule2))] @3: The cat sees the tiger.[(((((((triple1) -> rule1)) -> rule2)) -> rule4))] @4: The tiger sees the cat.[(((((((((triple1) -> rule1)) -> rule2)) -> rule4)) -> rule3))]