The rabbit chases the squirrel. The rabbit is not blue. The rabbit is cold. The rabbit is not nice. The rabbit is red. The rabbit is not round. The rabbit likes the squirrel. The rabbit does not need the squirrel. The squirrel does not chase the rabbit. The squirrel is blue. The squirrel is cold. The squirrel is not nice. The squirrel is red. The squirrel is round. The squirrel likes the rabbit. The squirrel needs the rabbit. If something chases the squirrel and it is not round then the squirrel is not nice. If something is cold and it chases the rabbit then it does not chase the squirrel. If the rabbit likes the squirrel then the squirrel likes the rabbit. If something needs the rabbit then the rabbit is cold. If something chases the rabbit and the rabbit is cold then the rabbit needs the squirrel. If something needs the squirrel then it is cold.
The squirrel is not blue.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit does not need the squirrel.[(triple8)] The rabbit is cold.[(triple3 OR ((triple16) -> rule4))] The rabbit is not blue.[(triple2)] The rabbit is not nice.[(triple4)] The rabbit is not round.[(triple6)] The rabbit is red.[(triple5)] The rabbit likes the squirrel.[(triple7)] The squirrel does not chase the rabbit.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is not nice.[(triple12 OR ((triple1 triple6) -> rule1))] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the rabbit.[(triple15 OR ((triple7) -> rule3))] The squirrel needs the rabbit.[(triple16)]