The bear chases the cat. The bear needs the cat. The cat is kind. If something eats the cat then the cat chases the bear. If something needs the bear and the bear needs the cat then it eats the cat. If the bear is kind and the bear eats the cat then the cat needs the bear. If something chases the bear then the bear is nice. If something needs the bear then the bear eats the cat. If something needs the cat then the cat needs the bear. If something eats the cat and it is round then the cat eats the bear. If something eats the bear and the bear is blue then it eats the cat.
The cat is not round.
@0: The bear chases the cat.[(triple1)] The bear needs the cat.[(triple2)] The cat is kind.[(triple3)] @1: The cat needs the bear.[(((triple2) -> rule6))] @2: The bear eats the cat.[(((((triple2) -> rule6)) -> rule5))] The cat eats the cat.[(((((triple2) -> rule6) triple2) -> rule2))] @3: The cat chases the bear.[(((((((triple2) -> rule6)) -> rule5)) -> rule1) OR ((((((triple2) -> rule6) triple2) -> rule2)) -> rule1))] @4: The bear is nice.[(((((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule6) triple2) -> rule2)) -> rule1)) -> rule4))]