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