The cow is not cold. The cow visits the squirrel. The rabbit chases the cow. The rabbit chases the squirrel. The rabbit is big. The rabbit likes the cow. The rabbit likes the squirrel. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel chases the cow. The squirrel chases the rabbit. The squirrel is not cold. The squirrel is red. The squirrel likes the cow. The squirrel visits the cow. If something visits the cow then the cow visits the rabbit. If something is blue then it chases the squirrel. If something likes the squirrel then the squirrel likes the cow. If the cow chases the rabbit then the cow is cold. If something visits the rabbit and it does not chase the cow then the cow is green. If something likes the cow then the cow is red. If something visits the rabbit then the rabbit is not green. If something chases the squirrel and it is not green then the squirrel is not big.
The cow is not green.
@0: The cow is not cold.[(triple1)] The cow visits the squirrel.[(triple2)] The rabbit chases the cow.[(triple3)] The rabbit chases the squirrel.[(triple4)] The rabbit is big.[(triple5)] The rabbit likes the cow.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit visits the cow.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel is not cold.[(triple12)] The squirrel is red.[(triple13)] The squirrel likes the cow.[(triple14 OR ((triple7) -> rule3))] The squirrel visits the cow.[(triple15)] @1: The cow is red.[(((triple14) -> rule6) OR ((triple6) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] The cow visits the rabbit.[(((triple15) -> rule1) OR ((triple8) -> rule1))] @2: The rabbit is not green.[(((((triple15) -> rule1)) -> rule7) OR ((((triple8) -> rule1)) -> rule7))] @3: The squirrel is not big.[(((triple4 ((((triple15) -> rule1)) -> rule7)) -> rule8) OR ((triple4 ((((triple8) -> rule1)) -> rule7)) -> rule8))]