The bear is big. The bear is blue. The bear is nice. The bear likes the mouse. The bear visits the lion. The bear visits the squirrel. The lion is blue. The mouse is cold. The mouse is green. The mouse visits the squirrel. The squirrel visits the lion. If something is cold and it visits the lion then it likes the squirrel. If something visits the squirrel then it likes the squirrel. If something eats the mouse and it visits the lion then it eats the bear. If something likes the squirrel then it likes the bear. If something likes the mouse and the mouse is blue then the mouse is nice. If something likes the lion then it is blue. If the mouse likes the bear then the mouse likes the lion.
The mouse is not nice.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear likes the mouse.[(triple4)] The bear visits the lion.[(triple5)] The bear visits the squirrel.[(triple6)] The lion is blue.[(triple7)] The mouse is cold.[(triple8)] The mouse is green.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel visits the lion.[(triple11)] @1: The bear likes the squirrel.[(((triple6) -> rule2))] The mouse likes the squirrel.[(((triple10) -> rule2))] @2: The bear likes the bear.[(((((triple6) -> rule2)) -> rule4))] The mouse likes the bear.[(((((triple10) -> rule2)) -> rule4))] @3: The mouse likes the lion.[(((((((triple10) -> rule2)) -> rule4)) -> rule7))] @4: The mouse is blue.[(((((((((triple10) -> rule2)) -> rule4)) -> rule7)) -> rule6))] @5: The mouse is nice.[(((triple4 ((((((((triple10) -> rule2)) -> rule4)) -> rule7)) -> rule6)) -> rule5))]