The cat eats the rabbit. The cow likes the cat. The cow does not need the cat. The mouse is kind. The mouse likes the rabbit. The rabbit does not eat the cat. The rabbit does not like the cat. If someone is round then they like the cat. If someone likes the cat then they eat the cat. If someone likes the cat then the cat is round. If someone needs the rabbit and the rabbit eats the cow then the rabbit is round. If the cow is not nice then the cow likes the mouse. If someone eats the rabbit and they do not like the rabbit then the rabbit is nice.
The cow likes the cat.
@0: The cat eats the rabbit.[(triple1)] The cow does not need the cat.[(triple3)] The cow likes the cat.[(triple2)] The mouse is kind.[(triple4)] The mouse likes the rabbit.[(triple5)] The rabbit does not eat the cat.[(triple6)] The rabbit does not like the cat.[(triple7)] @1: The cat is round.[(((triple2) -> rule3))] The cow eats the cat.[(((triple2) -> rule2))] @2: The cat likes the cat.[(((((triple2) -> rule3)) -> rule1))] @3: The cat eats the cat.[(((((((triple2) -> rule3)) -> rule1)) -> rule2))]