The rabbit is blue. The rabbit is kind. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel sees the tiger. The tiger chases the rabbit. The tiger is cold. The tiger is round. The tiger likes the rabbit. If the rabbit chases the squirrel then the squirrel sees the rabbit. If something chases the tiger then it is blue. If something is big then it sees the squirrel. If something is round then it sees the rabbit. If the tiger sees the rabbit then the tiger chases the squirrel. If something sees the tiger then the tiger likes the squirrel. If something chases the rabbit and the rabbit likes the tiger then the rabbit is cold. If something is cold then it likes the squirrel.
The squirrel is not cold.
@0: The rabbit is blue.[(triple1)] The rabbit is kind.[(triple2)] The rabbit sees the squirrel.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel is big.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is cold.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger is cold.[(triple10)] The tiger is round.[(triple11)] The tiger likes the rabbit.[(triple12)] @1: The squirrel likes the squirrel.[(((triple7) -> rule8))] The squirrel sees the squirrel.[(((triple5) -> rule3))] The tiger likes the squirrel.[(((triple10) -> rule8) OR ((triple8) -> rule6))] The tiger sees the rabbit.[(((triple11) -> rule4))] @2: The tiger chases the squirrel.[(((((triple11) -> rule4)) -> rule5))]