The cat eats the lion. The cat is cold. The cat sees the cow. The cow eats the lion. The cow is green. The cow likes the cat. The lion eats the cow. If someone is rough then they like the lion. If someone eats the lion and they are not cold then the lion is not round. If someone likes the lion then they do not see the lion. If the cow eats the lion then the cow is rough. If someone likes the lion and the lion is rough then the lion does not see the cat. If someone is round and they do not see the lion then they like the cow. If someone eats the cow then they are red. If someone is red and they do not like the cow then they do not eat the cow.
The cow is not rough.
@0: The cat eats the lion.[(triple1)] The cat is cold.[(triple2)] The cat sees the cow.[(triple3)] The cow eats the lion.[(triple4)] The cow is green.[(triple5)] The cow likes the cat.[(triple6)] The lion eats the cow.[(triple7)] @1: The cow is rough.[(((triple4) -> rule4))] The lion is red.[(((triple7) -> rule7))] @2: The cow likes the lion.[(((((triple4) -> rule4)) -> rule1))] @3: The cow does not see the lion.[(((((((triple4) -> rule4)) -> rule1)) -> rule3))]