The mouse is big. The mouse is cold. The mouse is red. The mouse is round. The mouse is young. The mouse likes the squirrel. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is big. The squirrel is cold. The squirrel is round. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel sees the mouse. If something sees the squirrel and the squirrel needs the mouse then it is red. If something sees the squirrel then it is cold. If something likes the squirrel and the squirrel likes the mouse then the squirrel needs the mouse. If something needs the mouse and the mouse likes the squirrel then it is big. If something is red and it needs the mouse then it sees the squirrel. If something likes the squirrel and it sees the mouse then the squirrel sees the mouse. If something needs the squirrel and the squirrel likes the mouse then the squirrel is cold. If something is round and it needs the squirrel then it sees the squirrel.
The squirrel is young.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2 OR ((triple8) -> rule2) OR ((((triple4 triple7) -> rule8)) -> rule2))] The mouse is red.[(triple3 OR ((triple8 triple14) -> rule1) OR ((triple8 ((triple6 triple13) -> rule3)) -> rule1) OR ((((triple4 triple7) -> rule8) triple14) -> rule1) OR ((((triple4 triple7) -> rule8) ((triple6 triple13) -> rule3)) -> rule1))] The mouse is round.[(triple4)] The mouse is young.[(triple5)] The mouse likes the squirrel.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8 OR ((triple4 triple7) -> rule8))] The squirrel is big.[(triple9 OR ((triple14 triple6) -> rule4) OR ((((triple6 triple13) -> rule3) triple6) -> rule4))] The squirrel is cold.[(triple10 OR ((triple7 triple13) -> rule7))] The squirrel is round.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel needs the mouse.[(triple14 OR ((triple6 triple13) -> rule3))] The squirrel sees the mouse.[(triple15)]