The mouse is big. The mouse is nice. The mouse is red. The mouse likes the rabbit. The mouse likes the squirrel. The rabbit chases the mouse. The rabbit likes the squirrel. The squirrel chases the mouse. The squirrel is big. The squirrel is rough. If something likes the squirrel and the squirrel is rough then the squirrel is red. Rough things are kind. If something chases the rabbit and it likes the squirrel then the rabbit likes the squirrel.
The rabbit is not kind.
@0: The mouse is big.[(triple1)] The mouse is nice.[(triple2)] The mouse is red.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse likes the squirrel.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit likes the squirrel.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel is big.[(triple9)] The squirrel is rough.[(triple10)] @1: The squirrel is kind.[(((triple10) -> rule2))] The squirrel is red.[(((triple5 triple10) -> rule1) OR ((triple7 triple10) -> rule1))]