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