The bear chases the cat. The bear eats the cat. The bear is blue. The bear is green. The bear is kind. 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 blue. The cat is green. The cat is kind. The cat is nice. The cat is red. The cat sees the bear. If someone eats the cat then the cat is green. If someone sees the cat and the cat is green then the cat eats the bear. If someone sees the cat then they are red. If the bear is green then the bear eats the cat. If someone is green then they see the bear. If someone chases the cat then the cat is green. If someone is kind and they eat the cat then the cat is nice. If someone sees the bear then they chase the bear.
The bear is not blue.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2 OR ((triple4) -> rule4))] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear is kind.[(triple5)] The bear is nice.[(triple6)] The bear is red.[(triple7 OR ((triple8) -> rule3))] The bear sees the cat.[(triple8)] The cat chases the bear.[(triple9 OR ((triple16) -> rule8) OR ((((triple12) -> rule5)) -> rule8) OR ((((((triple1) -> rule6)) -> rule5)) -> rule8) OR ((((((triple2) -> rule1)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule1)) -> rule5)) -> rule8))] The cat eats the bear.[(triple10 OR ((triple8 triple12) -> rule2) OR ((triple8 ((triple1) -> rule6)) -> rule2) OR ((triple8 ((triple2) -> rule1)) -> rule2) OR ((triple8 ((((triple4) -> rule4)) -> rule1)) -> rule2))] The cat is blue.[(triple11)] The cat is green.[(triple12 OR ((triple1) -> rule6) OR ((triple2) -> rule1) OR ((((triple4) -> rule4)) -> rule1))] The cat is kind.[(triple13)] The cat is nice.[(triple14 OR ((triple5 triple2) -> rule7) OR ((triple5 ((triple4) -> rule4)) -> rule7))] The cat is red.[(triple15)] The cat sees the bear.[(triple16 OR ((triple12) -> rule5) OR ((((triple1) -> rule6)) -> rule5) OR ((((triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule1)) -> rule5))] @1: The bear sees the bear.[(((triple4) -> rule5))] @2: The bear chases the bear.[(((((triple4) -> rule5)) -> rule8))]