The bear chases the cat. The bear eats the cat. The bear is green. The bear is kind. The bear is nice. The bear is red. The bear is round. The bear likes the cat. The cat chases the bear. The cat eats the bear. The cat is kind. The cat is nice. The cat is red. The cat is round. The cat likes the bear. If the bear likes the cat and the cat is red then the bear chases the cat. If something likes the bear and it chases the bear then the bear chases the cat. If something is nice then it eats the cat. If the cat is nice and the cat likes the bear then the bear eats the cat. If something eats the cat and it likes the bear then the cat eats the bear. If something eats the bear and it is green then it chases the bear. If something likes the bear then the bear is kind. If the bear is kind and the bear chases the cat then the cat is round.
The bear does not chase the bear.
@0: The bear chases the cat.[(triple1 OR ((triple15 triple9) -> rule2) OR ((triple8 triple13) -> rule1))] The bear eats the cat.[(triple2 OR ((triple5) -> rule3) OR ((triple12 triple15) -> rule4))] The bear is green.[(triple3)] The bear is kind.[(triple4 OR ((triple15) -> rule7))] The bear is nice.[(triple5)] The bear is red.[(triple6)] The bear is round.[(triple7)] The bear likes the cat.[(triple8)] The cat chases the bear.[(triple9)] The cat eats the bear.[(triple10 OR ((((triple12) -> rule3) triple15) -> rule5))] The cat is kind.[(triple11)] The cat is nice.[(triple12)] The cat is red.[(triple13)] The cat is round.[(triple14 OR ((triple4 triple1) -> rule8) OR ((triple4 ((triple15 triple9) -> rule2)) -> rule8) OR ((triple4 ((triple8 triple13) -> rule1)) -> rule8) OR ((((triple15) -> rule7) triple1) -> rule8) OR ((((triple15) -> rule7) ((triple15 triple9) -> rule2)) -> rule8) OR ((((triple15) -> rule7) ((triple8 triple13) -> rule1)) -> rule8))] The cat likes the bear.[(triple15)] @1: The cat eats the cat.[(((triple12) -> rule3))]