The bear is young. The cat is cold. If someone is red then they see the bear. If someone is cold then they see the bear. If someone is red then they do not see the bear. If someone sees the bear then they eat the cat. If someone sees the cat then they eat the cat. If the bear is kind then the bear sees the cat. If someone eats the cat then they visit the bear. If someone visits the bear then they see the cat.
The bear eats the cat.
@0: The bear is young.[(triple1)] The cat is cold.[(triple2)] @1: The cat sees the bear.[(((triple2) -> rule2))] @2: The cat eats the cat.[(((((triple2) -> rule2)) -> rule4))] @3: The cat visits the bear.[(((((((triple2) -> rule2)) -> rule4)) -> rule7))] @4: The cat sees the cat.[(((((((((triple2) -> rule2)) -> rule4)) -> rule7)) -> rule8))]