The cat does not eat the cow. The cat eats the rabbit. The cat is green. The cat is not kind. The cat does not see the cow. The cat sees the rabbit. The cow does not chase the cat. The cow eats the cat. The cow eats the rabbit. The cow is round. The rabbit chases the cat. The rabbit chases the cow. If something is red and it sees the cow then the cow eats the cat. If something sees the cat and the cat is green then the cat chases the cow. If the rabbit eats the cat then the rabbit is not green. If something sees the cat then it is green. If something chases the cow then it sees the cat. If something chases the cat then it sees the rabbit. If something is blue and it does not chase the cow then it does not chase the cat. If something eats the cat and it chases the cat then it is blue.
The rabbit is green.
@0: The cat does not eat the cow.[(triple1)] The cat does not see the cow.[(triple5)] The cat eats the rabbit.[(triple2)] The cat is green.[(triple3)] The cat is not kind.[(triple4)] The cat sees the rabbit.[(triple6)] The cow does not chase the cat.[(triple7)] The cow eats the cat.[(triple8)] The cow eats the rabbit.[(triple9)] The cow is round.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit chases the cow.[(triple12)] @1: The rabbit sees the cat.[(((triple12) -> rule5))] The rabbit sees the rabbit.[(((triple11) -> rule6))] @2: The cat chases the cow.[(((((triple12) -> rule5) triple3) -> rule2))] The rabbit is green.[(((((triple12) -> rule5)) -> rule4))] @3: The cat sees the cat.[(((((((triple12) -> rule5) triple3) -> rule2)) -> rule5))]