The bear eats the dog. The dog is cold. The dog is round. The dog sees the bear. The mouse eats the bear. The mouse eats the dog. The mouse eats the rabbit. The mouse is cold. The mouse needs the bear. The mouse needs the rabbit. The rabbit is big. The rabbit is cold. The rabbit is round. The rabbit needs the mouse. The rabbit sees the dog. If something eats the rabbit then it eats the mouse. If something needs the mouse then it needs the rabbit. If something is cold and it sees the rabbit then it is young. If something sees the bear then the bear sees the dog. If something needs the dog then it is cold. If something needs the rabbit and it eats the mouse then the rabbit sees the dog. If the rabbit is young then the rabbit needs the bear. If something needs the rabbit and the rabbit is round then it eats the rabbit.
The rabbit does not eat the rabbit.
@0: The bear eats the dog.[(triple1)] The dog is cold.[(triple2)] The dog is round.[(triple3)] The dog sees the bear.[(triple4)] The mouse eats the bear.[(triple5)] The mouse eats the dog.[(triple6)] The mouse eats the rabbit.[(triple7 OR ((triple10 triple13) -> rule8))] The mouse is cold.[(triple8)] The mouse needs the bear.[(triple9)] The mouse needs the rabbit.[(triple10)] The rabbit is big.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the dog.[(triple15 OR ((triple10 ((triple7) -> rule1)) -> rule6) OR ((triple10 ((((triple10 triple13) -> rule8)) -> rule1)) -> rule6) OR ((((triple14) -> rule2) ((((((triple14) -> rule2) triple13) -> rule8)) -> rule1)) -> rule6))] @1: The bear sees the dog.[(((triple4) -> rule4))] The mouse eats the mouse.[(((triple7) -> rule1) OR ((((triple10 triple13) -> rule8)) -> rule1))] The rabbit needs the rabbit.[(((triple14) -> rule2))] @2: The rabbit eats the rabbit.[(((((triple14) -> rule2) triple13) -> rule8))] @3: The rabbit eats the mouse.[(((((((triple14) -> rule2) triple13) -> rule8)) -> rule1))]