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