The cat is big. The cat is blue. The cat needs the cow. The cat visits the cow. The cow is blue. The cow needs the tiger. The cow sees the tiger. The tiger is red. The tiger is rough. The tiger needs the cat. The tiger needs the cow. The tiger sees the cat. The tiger sees the cow. The tiger visits the cat. The tiger visits the cow. If something needs the tiger then it visits the cat. If something is blue and it visits the cat then it is red. If something is red then it sees the cat. If something visits the cat and the cat visits the tiger then the cat visits the cow. If something sees the tiger then the tiger sees the cow. If something is red then it needs the cow.
The cow is red.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat needs the cow.[(triple3)] The cat visits the cow.[(triple4)] The cow is blue.[(triple5)] The cow needs the tiger.[(triple6)] The cow sees the tiger.[(triple7)] The tiger is red.[(triple8)] The tiger is rough.[(triple9)] The tiger needs the cat.[(triple10)] The tiger needs the cow.[(triple11 OR ((triple8) -> rule6))] The tiger sees the cat.[(triple12 OR ((triple8) -> rule3))] The tiger sees the cow.[(triple13 OR ((triple7) -> rule5))] The tiger visits the cat.[(triple14)] The tiger visits the cow.[(triple15)] @1: The cow visits the cat.[(((triple6) -> rule1))] @2: The cow is red.[(((triple5 ((triple6) -> rule1)) -> rule2))] @3: The cow needs the cow.[(((((triple5 ((triple6) -> rule1)) -> rule2)) -> rule6))] The cow sees the cat.[(((((triple5 ((triple6) -> rule1)) -> rule2)) -> rule3))]