The bear chases the cat. The bear eats the cat. The bear is young. The cat does not chase the bear. The cat eats the bear. The cat is cold. The cat does not need the bear. If someone chases the cat then they need the cat. If someone eats the bear and they do not need the bear then they need the cat. If the cat chases the bear then the cat is young. If someone chases the bear then the bear needs the cat. If someone chases the bear and the bear chases the cat then the bear does not need the cat. If someone needs the cat then they eat the cat.
The cat does not eat the bear.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2 OR ((((triple1) -> rule1)) -> rule6))] The bear is young.[(triple3)] The cat does not chase the bear.[(triple4)] The cat does not need the bear.[(triple7)] The cat eats the bear.[(triple5)] The cat is cold.[(triple6)] @1: The bear needs the cat.[(((triple1) -> rule1))] The cat needs the cat.[(((triple5 triple7) -> rule2))] @2: The cat eats the cat.[(((((triple5 triple7) -> rule2)) -> rule6))]