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