The bear chases the cat. The bear eats the cat. The bear is big. The bear is green. The bear is round. The bear is young. The cat chases the bear. The cat eats the bear. The cat is rough. The cat is round. The cat is young. The cat needs the bear. If something is young and it chases the cat then it needs the bear. If something eats the bear and it chases the bear then the bear is green. If something needs the cat and the cat needs the bear then the bear eats the cat. If something chases the bear and it needs the bear then the bear needs the cat. If something is big and green then it chases the bear. If something needs the cat and the cat is young then it is rough.
The cat is not green.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2 OR ((((triple7 triple12) -> rule4) triple12) -> rule3) OR ((((((triple3 triple4) -> rule5) ((triple6 triple1) -> rule1)) -> rule4) triple12) -> rule3) OR ((((((triple3 ((triple8 triple7) -> rule2)) -> rule5) ((triple6 triple1) -> rule1)) -> rule4) triple12) -> rule3))] The bear is big.[(triple3)] The bear is green.[(triple4 OR ((triple8 triple7) -> rule2))] The bear is round.[(triple5)] The bear is young.[(triple6)] The cat chases the bear.[(triple7)] The cat eats the bear.[(triple8)] The cat is rough.[(triple9)] The cat is round.[(triple10)] The cat is young.[(triple11)] The cat needs the bear.[(triple12)] @1: The bear chases the bear.[(((triple3 triple4) -> rule5) OR ((triple3 ((triple8 triple7) -> rule2)) -> rule5))] The bear needs the bear.[(((triple6 triple1) -> rule1))] The bear needs the cat.[(((triple7 triple12) -> rule4) OR ((((triple3 triple4) -> rule5) ((triple6 triple1) -> rule1)) -> rule4) OR ((((triple3 ((triple8 triple7) -> rule2)) -> rule5) ((triple6 triple1) -> rule1)) -> rule4))] @2: The bear is rough.[(((((triple7 triple12) -> rule4) triple11) -> rule6) OR ((((((triple3 triple4) -> rule5) ((triple6 triple1) -> rule1)) -> rule4) triple11) -> rule6) OR ((((((triple3 ((triple8 triple7) -> rule2)) -> rule5) ((triple6 triple1) -> rule1)) -> rule4) triple11) -> rule6))]