The rabbit chases the squirrel. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is not nice. The rabbit does not like the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is not kind. The squirrel is nice. The squirrel does not like the rabbit. The squirrel visits the rabbit. If someone chases the rabbit and they are not blue then they like the squirrel. If someone is big and nice then they like the squirrel. If someone visits the rabbit and they are cold then they like the squirrel. If someone chases the squirrel and they are cold then the squirrel chases the rabbit. If someone chases the squirrel and they do not like the rabbit then they are big. If the rabbit visits the squirrel and the rabbit likes the squirrel then the rabbit chases the squirrel.
The rabbit is kind.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit does not like the squirrel.[(triple7)] The rabbit is big.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is not nice.[(triple6)] The rabbit visits the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9 OR ((triple1 triple4) -> rule4))] The squirrel does not like the rabbit.[(triple15)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is nice.[(triple14)] The squirrel is not kind.[(triple13)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel likes the squirrel.[(((triple10 triple14) -> rule2) OR ((triple16 triple12) -> rule3))]