The mouse chases the tiger. The mouse needs the squirrel. The mouse visits the tiger. The squirrel is red. The squirrel is round. The squirrel visits the tiger. The tiger chases the mouse. The tiger chases the squirrel. The tiger is cold. The tiger is rough. The tiger is round. The tiger is young. The tiger needs the mouse. The tiger needs the squirrel. The tiger visits the mouse. The tiger visits the squirrel. If something chases the tiger then the tiger is red. If something chases the mouse and the mouse needs the tiger then it needs the tiger. If something is cold then it chases the squirrel. If something needs the tiger then the tiger is round. If something is red then it chases the squirrel. If something visits the tiger and the tiger chases the squirrel then the tiger is cold.
The squirrel is cold.
@0: The mouse chases the tiger.[(triple1)] The mouse needs the squirrel.[(triple2)] The mouse visits the tiger.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger chases the squirrel.[(triple8 OR ((triple9) -> rule3) OR ((((triple1) -> rule1)) -> rule5))] The tiger is cold.[(triple9 OR ((triple3 triple8) -> rule6) OR ((triple6 triple8) -> rule6) OR ((triple3 ((((triple1) -> rule1)) -> rule5)) -> rule6) OR ((triple6 ((((triple1) -> rule1)) -> rule5)) -> rule6))] The tiger is rough.[(triple10)] The tiger is round.[(triple11)] The tiger is young.[(triple12)] The tiger needs the mouse.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger visits the mouse.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The squirrel chases the squirrel.[(((triple4) -> rule5))] The tiger is red.[(((triple1) -> rule1))]