The cat eats the rabbit. The cow is big. The rabbit eats the cow. The rabbit is kind. The rabbit does not like the cat. The rabbit likes the cow. The rabbit sees the cow. If the cat is kind then the cat is not round. If someone likes the cow then the cow sees the rabbit. If the cat is nice then the cat eats the rabbit. If someone likes the cat then the cat eats the rabbit. If the cat is round then the cat does not like the cow. If someone eats the cow then they see the rabbit. If the rabbit sees the cow then the cow is nice. If the cow is not nice then the cow is not kind.
The cat does not see the rabbit.
@0: The cat eats the rabbit.[(triple1)] The cow is big.[(triple2)] The rabbit does not like the cat.[(triple5)] The rabbit eats the cow.[(triple3)] The rabbit is kind.[(triple4)] The rabbit likes the cow.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The cow is nice.[(((triple7) -> rule7))] The cow sees the rabbit.[(((triple6) -> rule2))] The rabbit sees the rabbit.[(((triple3) -> rule6))]