The bear is green. The lion chases the mouse. The lion is green. The lion is kind. The lion is nice. The lion is round. The lion visits the bear. The lion visits the mouse. The mouse chases the squirrel. The mouse is green. The mouse is red. The squirrel chases the bear. The squirrel eats the mouse. The squirrel is green. The squirrel visits the bear. If the bear eats the squirrel and the bear visits the squirrel then the squirrel chases the lion. If something is red and round then it chases the mouse. If something chases the mouse then it is nice. If something chases the bear and it eats the squirrel then the bear visits the squirrel. If something visits the bear and the bear chases the lion then the bear visits the lion. If something is green and it visits the mouse then it chases the lion. If something chases the mouse then the mouse is round. If something eats the bear and it visits the mouse then the bear is nice.
The bear does not visit the squirrel.
@0: The bear is green.[(triple1)] The lion chases the mouse.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion is nice.[(triple5 OR ((triple2) -> rule3))] The lion is round.[(triple6)] The lion visits the bear.[(triple7)] The lion visits the mouse.[(triple8)] The mouse chases the squirrel.[(triple9)] The mouse is green.[(triple10)] The mouse is red.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel eats the mouse.[(triple13)] The squirrel is green.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The lion chases the lion.[(((triple3 triple8) -> rule6))] The mouse is round.[(((triple2) -> rule7))] @2: The mouse chases the mouse.[(((triple11 ((triple2) -> rule7)) -> rule2))] @3: The mouse is nice.[(((((triple11 ((triple2) -> rule7)) -> rule2)) -> rule3))]