The bear is nice. The cat chases the bear. The cat eats the bear. The cat is blue. The cat is green. The cat is round. The cat needs the bear. If something chases the cat then the cat chases the bear. If something is round then it needs the bear. If something needs the bear then it chases the cat. If the bear eats the cat and the cat needs the bear then the cat chases the bear. If something needs the bear and it chases the cat then the bear is young. If something chases the cat and it is blue then it needs the cat.
The bear does not chase the cat.
@0: The bear is nice.[(triple1)] The cat chases the bear.[(triple2 OR ((((triple7) -> rule3)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3)) -> rule1))] The cat eats the bear.[(triple3)] The cat is blue.[(triple4)] The cat is green.[(triple5)] The cat is round.[(triple6)] The cat needs the bear.[(triple7 OR ((triple6) -> rule2))] @1: The cat chases the cat.[(((triple7) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] @2: The bear is young.[(((triple7 ((triple7) -> rule3)) -> rule5) OR ((((triple6) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((triple7 ((((triple6) -> rule2)) -> rule3)) -> rule5) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule5))] The cat needs the cat.[(((((triple7) -> rule3) triple4) -> rule6) OR ((((((triple6) -> rule2)) -> rule3) triple4) -> rule6))]