The bear eats the cat. The bear is green. The bear is nice. The bear is young. The bear needs the cat. The bear visits the cat. The cat eats the bear. The cat is nice. The cat is young. The cat needs the bear. If something eats the bear and it visits the cat then the bear is green. If something visits the cat then it needs the cat. If the bear eats the cat then the bear needs the cat. If the cat is kind then the cat eats the bear. If the cat is young then the cat visits the bear. If something eats the bear and it visits the bear then it visits the cat.
The cat is green.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2 OR ((triple7 ((triple7 ((triple9) -> rule5)) -> rule6)) -> rule1))] The bear is nice.[(triple3)] The bear is young.[(triple4)] The bear needs the cat.[(triple5 OR ((triple1) -> rule3) OR ((triple6) -> rule2))] The bear visits the cat.[(triple6)] The cat eats the bear.[(triple7)] The cat is nice.[(triple8)] The cat is young.[(triple9)] The cat needs the bear.[(triple10)] @1: The cat visits the bear.[(((triple9) -> rule5))] @2: The cat visits the cat.[(((triple7 ((triple9) -> rule5)) -> rule6))] @3: The cat needs the cat.[(((((triple7 ((triple9) -> rule5)) -> rule6)) -> rule2))]