The bear does not chase the cat. The bear eats the cat. The bear eats the cow. The bear is green. The bear is not nice. The bear sees the dog. The cat is nice. The cat is red. The cat sees the bear. The cow eats the dog. The dog is kind. If someone is kind and they see the dog then the dog chases the cow. If someone eats the bear and the bear chases the dog then the dog eats the cow. If someone sees the bear then they see the cow. If someone sees the cat and the cat sees the bear then they eat the dog. If someone is nice and they eat the cow then the cow does not chase the cat. If someone sees the cow then they see the cat. If someone is green then they see the bear. If someone eats the dog then they are red.
The bear is kind.
@0: The bear does not chase the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear eats the cow.[(triple3)] The bear is green.[(triple4)] The bear is not nice.[(triple5)] The bear sees the dog.[(triple6)] The cat is nice.[(triple7)] The cat is red.[(triple8 OR ((((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule8))] The cat sees the bear.[(triple9)] The cow eats the dog.[(triple10)] The dog is kind.[(triple11)] @1: The bear sees the bear.[(((triple4) -> rule7))] The cat sees the cow.[(((triple9) -> rule3))] The cow is red.[(((triple10) -> rule8))] @2: The bear sees the cow.[(((((triple4) -> rule7)) -> rule3))] The cat sees the cat.[(((((triple9) -> rule3)) -> rule6))] @3: The bear sees the cat.[(((((((triple4) -> rule7)) -> rule3)) -> rule6))] The cat eats the dog.[(((((((triple9) -> rule3)) -> rule6) triple9) -> rule4))] @4: The bear eats the dog.[(((((((((triple4) -> rule7)) -> rule3)) -> rule6) triple9) -> rule4))] @5: The bear is red.[(((((((((((triple4) -> rule7)) -> rule3)) -> rule6) triple9) -> rule4)) -> rule8))]