The bear chases the mouse. The bear eats the lion. The bear is green. The dog chases the bear. The dog is not round. The lion chases the bear. The lion chases the mouse. The lion does not need the dog. The mouse chases the bear. The mouse chases the lion. The mouse eats the dog. The mouse is not green. The mouse is red. The mouse needs the dog. The mouse needs the lion. If something eats the bear and the bear does not eat the lion then it is round. If something is nice then it needs the dog. If something eats the dog then it needs the dog. If something needs the bear then the bear is red. If the mouse eats the dog then the dog needs the bear. If something is red then it eats the dog.
The lion eats the lion.
@0: The bear chases the mouse.[(triple1)] The bear eats the lion.[(triple2)] The bear is green.[(triple3)] The dog chases the bear.[(triple4)] The dog is not round.[(triple5)] The lion chases the bear.[(triple6)] The lion chases the mouse.[(triple7)] The lion does not need the dog.[(triple8)] The mouse chases the bear.[(triple9)] The mouse chases the lion.[(triple10)] The mouse eats the dog.[(triple11 OR ((triple13) -> rule6))] The mouse is not green.[(triple12)] The mouse is red.[(triple13)] The mouse needs the dog.[(triple14 OR ((triple11) -> rule3) OR ((((triple13) -> rule6)) -> rule3))] The mouse needs the lion.[(triple15)] @1: The dog needs the bear.[(((triple11) -> rule5) OR ((((triple13) -> rule6)) -> rule5))] @2: The bear is red.[(((((triple11) -> rule5)) -> rule4) OR ((((((triple13) -> rule6)) -> rule5)) -> rule4))] @3: The bear eats the dog.[(((((((triple11) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple13) -> rule6)) -> rule5)) -> rule4)) -> rule6))] @4: The bear needs the dog.[(((((((((triple11) -> rule5)) -> rule4)) -> rule6)) -> rule3) OR ((((((((((triple13) -> rule6)) -> rule5)) -> rule4)) -> rule6)) -> rule3))]