The cow eats the squirrel. The cow is blue. The cow is kind. The cow sees the rabbit. The cow sees the squirrel. The rabbit eats the cow. The rabbit eats the squirrel. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is round. The rabbit sees the cow. The rabbit sees the squirrel. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel sees the rabbit. If someone sees the cow then they eat the squirrel. If someone sees the cow then the cow is nice. If someone visits the squirrel and the squirrel sees the cow then the squirrel eats the cow. If someone visits the squirrel and they are round then they visit the cow. If the squirrel eats the rabbit then the squirrel eats the cow. If someone is blue and they eat the rabbit then they visit the cow. If someone is nice then they visit the squirrel. If someone is blue then they see the squirrel.
The cow is not nice.
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow sees the rabbit.[(triple4)] The cow sees the squirrel.[(triple5 OR ((triple2) -> rule8))] The rabbit eats the cow.[(triple6)] The rabbit eats the squirrel.[(triple7 OR ((triple12) -> rule1))] The rabbit is green.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is round.[(triple11)] The rabbit sees the cow.[(triple12)] The rabbit sees the squirrel.[(triple13)] The rabbit visits the cow.[(triple14 OR ((triple15 triple11) -> rule4) OR ((((triple10) -> rule7) triple11) -> rule4))] The rabbit visits the squirrel.[(triple15 OR ((triple10) -> rule7))] The squirrel sees the rabbit.[(triple16)] @1: The cow is nice.[(((triple12) -> rule2))] @2: The cow visits the squirrel.[(((((triple12) -> rule2)) -> rule7))]