The lion chases the squirrel. The lion eats the squirrel. The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion is rough. The lion sees the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel sees the lion. If something is rough and red then it sees the squirrel. If something sees the lion then it eats the lion. If something sees the squirrel then it chases the squirrel.
The squirrel is red.
@0: The lion chases the squirrel.[(triple1 OR ((triple8) -> rule3) OR ((((triple7 triple6) -> rule1)) -> rule3))] The lion eats the squirrel.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion is rough.[(triple7)] The lion sees the squirrel.[(triple8 OR ((triple7 triple6) -> rule1))] The squirrel chases the lion.[(triple9)] The squirrel eats the lion.[(triple10 OR ((triple15) -> rule2))] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is rough.[(triple14)] The squirrel sees the lion.[(triple15)]