The bear is cold. The bear likes the rabbit. The bear needs the mouse. The bear needs the rabbit. The cat chases the mouse. The cat chases the rabbit. The cat needs the mouse. The mouse is nice. The mouse needs the rabbit. The rabbit chases the mouse. The rabbit is rough. The rabbit needs the bear. If the bear chases the mouse then the bear is rough. If the bear likes the rabbit then the rabbit needs the bear. If the cat likes the mouse then the mouse needs the cat. If something needs the bear then the bear chases the mouse. If the rabbit chases the mouse and the mouse is young then the rabbit chases the bear. If something is young and it needs the mouse then the mouse chases the bear. Rough things are big. If something needs the cat and the cat chases the bear then it is big.
The bear does not need the cat.
@0: The bear is cold.[(triple1)] The bear likes the rabbit.[(triple2)] The bear needs the mouse.[(triple3)] The bear needs the rabbit.[(triple4)] The cat chases the mouse.[(triple5)] The cat chases the rabbit.[(triple6)] The cat needs the mouse.[(triple7)] The mouse is nice.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit is rough.[(triple11)] The rabbit needs the bear.[(triple12 OR ((triple2) -> rule2))] @1: The bear chases the mouse.[(((triple12) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] The rabbit is big.[(((triple11) -> rule7))] @2: The bear is rough.[(((((triple12) -> rule4)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4)) -> rule1))] @3: The bear is big.[(((((((triple12) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule1)) -> rule7))]