The bear visits the tiger. The dog is round. The dog needs the bear. The dog sees the bear. The dog sees the tiger. The dog visits the bear. The dog visits the tiger. The lion is rough. The tiger is red. The tiger needs the bear. If something is red then it visits the dog. If something is cold and red then it needs the tiger. If the lion is cold and the lion sees the bear then the bear sees the tiger. If something visits the dog then it is big. If the tiger is big then the tiger is cold. If something needs the tiger then the tiger is round.
The dog needs the tiger.
@0: The bear visits the tiger.[(triple1)] The dog is round.[(triple2)] The dog needs the bear.[(triple3)] The dog sees the bear.[(triple4)] The dog sees the tiger.[(triple5)] The dog visits the bear.[(triple6)] The dog visits the tiger.[(triple7)] The lion is rough.[(triple8)] The tiger is red.[(triple9)] The tiger needs the bear.[(triple10)] @1: The tiger visits the dog.[(((triple9) -> rule1))] @2: The tiger is big.[(((((triple9) -> rule1)) -> rule4))] @3: The tiger is cold.[(((((((triple9) -> rule1)) -> rule4)) -> rule5))] @4: The tiger needs the tiger.[(((((((((triple9) -> rule1)) -> rule4)) -> rule5) triple9) -> rule2))] @5: The tiger is round.[(((((((((((triple9) -> rule1)) -> rule4)) -> rule5) triple9) -> rule2)) -> rule6))]