The bear is blue. The bear is nice. The bear is round. The bear needs the cow. The cow needs the bear. The cow needs the mouse. The cow visits the mouse. The mouse is blue. The mouse is nice. The mouse likes the bear. The mouse needs the bear. The mouse visits the bear. If something likes the cow then it visits the cow. If something needs the mouse and the mouse likes the cow then the cow visits the mouse. If something needs the bear and the bear is kind then it likes the cow. If the bear needs the cow then the cow needs the mouse. If something is kind then it is blue. If something is round and it visits the cow then it needs the bear. If something is nice then it likes the cow. If something is nice then it is blue.
The bear does not visit the cow.
@0: The bear is blue.[(triple1 OR ((triple2) -> rule8))] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear needs the cow.[(triple4)] The cow needs the bear.[(triple5)] The cow needs the mouse.[(triple6 OR ((triple4) -> rule4))] The cow visits the mouse.[(triple7 OR ((triple6 ((triple9) -> rule7)) -> rule2) OR ((((triple4) -> rule4) ((triple9) -> rule7)) -> rule2))] The mouse is blue.[(triple8 OR ((triple9) -> rule8))] The mouse is nice.[(triple9)] The mouse likes the bear.[(triple10)] The mouse needs the bear.[(triple11)] The mouse visits the bear.[(triple12)] @1: The bear likes the cow.[(((triple2) -> rule7))] The mouse likes the cow.[(((triple9) -> rule7))] @2: The bear visits the cow.[(((((triple2) -> rule7)) -> rule1))] The mouse visits the cow.[(((((triple9) -> rule7)) -> rule1))] @3: The bear needs the bear.[(((triple3 ((((triple2) -> rule7)) -> rule1)) -> rule6))]