The cat is not big. The cat is kind. The cat sees the rabbit. The cow chases the rabbit. The cow chases the squirrel. The cow sees the squirrel. The cow visits the cat. The cow visits the squirrel. The rabbit chases the cat. The rabbit chases the cow. The rabbit is green. The rabbit visits the squirrel. The squirrel is blue. The squirrel is kind. The squirrel sees the rabbit. The squirrel visits the rabbit. If something visits the cow then it chases the rabbit. If something chases the cat then the cat chases the cow. If something chases the cow and the cow sees the squirrel then the squirrel is big. If something chases the cat then it visits the rabbit. If something visits the rabbit then it sees the cow. If something chases the cat and it sees the cow then the cow chases the cat. If something sees the rabbit and it chases the cat then the rabbit chases the squirrel.
The cat sees the cow.
@0: The cat is kind.[(triple2)] The cat is not big.[(triple1)] The cat sees the rabbit.[(triple3)] The cow chases the rabbit.[(triple4)] The cow chases the squirrel.[(triple5)] The cow sees the squirrel.[(triple6)] The cow visits the cat.[(triple7)] The cow visits the squirrel.[(triple8)] The rabbit chases the cat.[(triple9)] The rabbit chases the cow.[(triple10)] The rabbit is green.[(triple11)] The rabbit visits the squirrel.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is kind.[(triple14)] The squirrel sees the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The cat chases the cow.[(((triple9) -> rule2) OR ((((triple9 ((((triple9) -> rule4)) -> rule5)) -> rule6)) -> rule2))] The rabbit visits the rabbit.[(((triple9) -> rule4))] The squirrel is big.[(((triple10 triple6) -> rule3) OR ((((triple9) -> rule2) triple6) -> rule3) OR ((((((triple9 ((((triple9) -> rule4)) -> rule5)) -> rule6)) -> rule2) triple6) -> rule3))] The squirrel sees the cow.[(((triple16) -> rule5))] @2: The rabbit sees the cow.[(((((triple9) -> rule4)) -> rule5))] @3: The cow chases the cat.[(((triple9 ((((triple9) -> rule4)) -> rule5)) -> rule6))] @4: The cow visits the rabbit.[(((((triple9 ((((triple9) -> rule4)) -> rule5)) -> rule6)) -> rule4))] @5: The cow sees the cow.[(((((((triple9 ((((triple9) -> rule4)) -> rule5)) -> rule6)) -> rule4)) -> rule5))]