The bear chases the cat. The bear is big. The bear is kind. The bear is red. The bear is round. The bear is young. The bear needs the cat. The bear sees the cat. The cat does not chase the bear. The cat is big. The cat is red. The cat is round. The cat is young. The cat needs the bear. The cat sees the bear. If something sees the cat then the cat does not chase the bear. If something is round and young then it sees the cat. If something sees the cat and it is red then it chases the cat. If something is kind and it sees the cat then the cat is young. If something sees the cat and the cat chases the bear then it needs the cat. If something sees the cat then it needs the bear.
The bear chases the bear.
@0: The bear chases the cat.[(triple1 OR ((triple8 triple4) -> rule3) OR ((((triple5 triple6) -> rule2) triple4) -> rule3))] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear needs the cat.[(triple7)] The bear sees the cat.[(triple8 OR ((triple5 triple6) -> rule2))] The cat does not chase the bear.[(triple9 OR ((triple8) -> rule1) OR ((((triple12 triple13) -> rule2)) -> rule1) OR ((((triple5 triple6) -> rule2)) -> rule1) OR ((((triple12 ((triple3 triple8) -> rule4)) -> rule2)) -> rule1) OR ((((triple12 ((triple3 ((triple5 triple6) -> rule2)) -> rule4)) -> rule2)) -> rule1))] The cat is big.[(triple10)] The cat is red.[(triple11)] The cat is round.[(triple12)] The cat is young.[(triple13 OR ((triple3 triple8) -> rule4) OR ((triple3 ((triple5 triple6) -> rule2)) -> rule4))] The cat needs the bear.[(triple14 OR ((((triple12 triple13) -> rule2)) -> rule6) OR ((((triple12 ((triple3 triple8) -> rule4)) -> rule2)) -> rule6) OR ((((triple12 ((triple3 ((triple5 triple6) -> rule2)) -> rule4)) -> rule2)) -> rule6))] The cat sees the bear.[(triple15)] @1: The bear needs the bear.[(((triple8) -> rule6) OR ((((triple5 triple6) -> rule2)) -> rule6))] The cat sees the cat.[(((triple12 triple13) -> rule2) OR ((triple12 ((triple3 triple8) -> rule4)) -> rule2) OR ((triple12 ((triple3 ((triple5 triple6) -> rule2)) -> rule4)) -> rule2))] @2: The cat chases the cat.[(((((triple12 triple13) -> rule2) triple11) -> rule3) OR ((((triple12 ((triple3 triple8) -> rule4)) -> rule2) triple11) -> rule3) OR ((((triple12 ((triple3 ((triple5 triple6) -> rule2)) -> rule4)) -> rule2) triple11) -> rule3))]