The bear likes the cat. The cat eats the bear. The cat is blue. The cat is green. The cat is round. The cat is young. The cat likes the bear. If something likes the bear then the bear needs the cat. If something needs the cat then the cat needs the bear. If something eats the cat then the cat needs the bear. All green things are rough. If the bear is young then the bear likes the cat. If something is young and it needs the bear then it likes the cat. If something likes the bear then it is round. If something eats the bear and the bear is young then it eats the cat.
The bear is not round.
@0: The bear likes the cat.[(triple1)] The cat eats the bear.[(triple2)] The cat is blue.[(triple3)] The cat is green.[(triple4)] The cat is round.[(triple5 OR ((triple7) -> rule7))] The cat is young.[(triple6)] The cat likes the bear.[(triple7)] @1: The bear needs the cat.[(((triple7) -> rule1))] The cat is rough.[(((triple4) -> rule4))] @2: The cat needs the bear.[(((((triple7) -> rule1)) -> rule2))] @3: The cat likes the cat.[(((triple6 ((((triple7) -> rule1)) -> rule2)) -> rule6))]