The bear chases the tiger. The bear sees the tiger. The bear visits the cat. The cat is red. The cat sees the bear. The cat visits the bear. The tiger chases the cat. The tiger is nice. The tiger is rough. The tiger visits the bear. If someone chases the tiger then they see the cat. If someone sees the cat then the cat chases the tiger. If the cat visits the tiger and the tiger chases the bear then the tiger sees the cat.
The cat chases the tiger.
@0: The bear chases the tiger.[(triple1)] The bear sees the tiger.[(triple2)] The bear visits the cat.[(triple3)] The cat is red.[(triple4)] The cat sees the bear.[(triple5)] The cat visits the bear.[(triple6)] The tiger chases the cat.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear sees the cat.[(((triple1) -> rule1))] @2: The cat chases the tiger.[(((((triple1) -> rule1)) -> rule2))] @3: The cat sees the cat.[(((((((triple1) -> rule1)) -> rule2)) -> rule1))]