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