The bear eats the cat. The bear is green. The bear is kind. The bear is nice. The bear sees the cat. The cat eats the bear. The cat is blue. The cat is not green. The cat is nice. The cat is round. The cat likes the bear. The cat sees the bear. If someone likes the cat then they do not see the bear. If someone eats the bear and the bear sees the cat then they see the cat. If the bear sees the cat and the cat is nice then the bear is round. If someone eats the cat then the cat likes the bear. If someone likes the cat and they see the bear then the cat likes the bear. If the cat likes the bear and the cat is not blue then the bear eats the cat. If someone sees the cat then the cat is kind. If the bear is nice and the bear sees the cat then the bear likes the cat.
The cat does not like the cat.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear sees the cat.[(triple5)] The cat eats the bear.[(triple6)] The cat is blue.[(triple7)] The cat is nice.[(triple9)] The cat is not green.[(triple8)] The cat is round.[(triple10)] The cat likes the bear.[(triple11 OR ((triple1) -> rule4))] The cat sees the bear.[(triple12)] @1: The bear is round.[(((triple5 triple9) -> rule3))] The bear likes the cat.[(((triple4 triple5) -> rule8))] The cat is kind.[(((triple5) -> rule7) OR ((((triple6 triple5) -> rule2)) -> rule7))] The cat sees the cat.[(((triple6 triple5) -> rule2))] @2: The bear does not see the bear.[(((((triple4 triple5) -> rule8)) -> rule1))]