The bear is nice. The bear is red. The bear is round. The bear is young. The bear does not like the cat. The bear does not like the mouse. The bear does not need the cat. The bear needs the mouse. The bear does not visit the cat. The bear visits the mouse. The cat is cold. The cat needs the bear. The cat needs the mouse. The cat visits the bear. The mouse likes the cat. The mouse does not need the cat. If something needs the mouse and it is not nice then it needs the bear. If the mouse visits the cat and the mouse needs the bear then the bear needs the cat. If something likes the mouse and the mouse does not need the cat then the cat does not visit the mouse. If the cat is young then the cat visits the bear. If something needs the bear then it does not like the mouse. If something likes the cat and the cat needs the mouse then the cat likes the bear. If the mouse does not need the cat then the mouse visits the cat. If the cat needs the bear and the cat does not like the mouse then the mouse is round.
The mouse visits the bear.
@0: The bear does not like the cat.[(triple5)] The bear does not like the mouse.[(triple6)] The bear does not need the cat.[(triple7)] The bear does not visit the cat.[(triple9)] The bear is nice.[(triple1)] The bear is red.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear needs the mouse.[(triple8)] The bear visits the mouse.[(triple10)] The cat is cold.[(triple11)] The cat needs the bear.[(triple12)] The cat needs the mouse.[(triple13)] The cat visits the bear.[(triple14)] The mouse does not need the cat.[(triple16)] The mouse likes the cat.[(triple15)] @1: The cat does not like the mouse.[(((triple12) -> rule5))] The cat likes the bear.[(((triple15 triple13) -> rule6))] The mouse visits the cat.[(((triple16) -> rule7))] @2: The mouse is round.[(((triple12 ((triple12) -> rule5)) -> rule8))]