The bear chases the mouse. The bear is cold. The bear is nice. The bear visits the dog. The bear visits the mouse. The dog chases the bear. The dog eats the bear. The dog eats the mouse. The dog is cold. The dog is not nice. The dog visits the bear. The mouse chases the bear. The mouse eats the bear. The mouse eats the dog. The mouse is nice. The mouse is round. If someone is kind then they chase the dog. If someone visits the dog then they do not chase the dog. If someone visits the mouse then they are round. If someone chases the bear then the bear chases the mouse. If someone is kind then they visit the bear. If someone is cold then they visit the dog. If someone is round and cold then they chase the bear. If someone is blue then they eat the bear.
The bear is not kind.
@0: The bear chases the mouse.[(triple1 OR ((triple12) -> rule4) OR ((triple6) -> rule4) OR ((((((triple5) -> rule3) triple2) -> rule7)) -> rule4))] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear visits the dog.[(triple4 OR ((triple2) -> rule6))] The bear visits the mouse.[(triple5)] The dog chases the bear.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the mouse.[(triple8)] The dog is cold.[(triple9)] The dog is not nice.[(triple10)] The dog visits the bear.[(triple11)] The mouse chases the bear.[(triple12)] The mouse eats the bear.[(triple13)] The mouse eats the dog.[(triple14)] The mouse is nice.[(triple15)] The mouse is round.[(triple16)] @1: The bear does not chase the dog.[(((triple4) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] The bear is round.[(((triple5) -> rule3))] The dog visits the dog.[(((triple9) -> rule6))] @2: The bear chases the bear.[(((((triple5) -> rule3) triple2) -> rule7))] The dog does not chase the dog.[(((((triple9) -> rule6)) -> rule2))]