The bear eats the tiger. The bear is not red. The bear likes the squirrel. The bear visits the squirrel. The mouse eats the tiger. The mouse is red. The mouse is rough. The mouse likes the bear. The mouse does not like the tiger. The squirrel likes the bear. The tiger eats the mouse. If the mouse likes the bear and the bear likes the mouse then the mouse is not kind. If someone visits the mouse then they like the squirrel. If someone is green then they visit the bear. If someone likes the bear and the bear visits the tiger then they visit the bear. If someone eats the bear and they do not like the tiger then they are green. If someone visits the mouse then the mouse eats the bear. If someone is red and they eat the tiger then the tiger visits the mouse. If someone visits the bear then they are kind.
The mouse is not kind.
@0: The bear eats the tiger.[(triple1)] The bear is not red.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the squirrel.[(triple4)] The mouse does not like the tiger.[(triple9)] The mouse eats the tiger.[(triple5)] The mouse is red.[(triple6)] The mouse is rough.[(triple7)] The mouse likes the bear.[(triple8)] The squirrel likes the bear.[(triple10)] The tiger eats the mouse.[(triple11)] @1: The tiger visits the mouse.[(((triple6 triple5) -> rule7))] @2: The mouse eats the bear.[(((((triple6 triple5) -> rule7)) -> rule6))] The tiger likes the squirrel.[(((((triple6 triple5) -> rule7)) -> rule2))] @3: The mouse is green.[(((((((triple6 triple5) -> rule7)) -> rule6) triple9) -> rule5))] @4: The mouse visits the bear.[(((((((((triple6 triple5) -> rule7)) -> rule6) triple9) -> rule5)) -> rule3))] @5: The mouse is kind.[(((((((((((triple6 triple5) -> rule7)) -> rule6) triple9) -> rule5)) -> rule3)) -> rule8))]