The cow eats the lion. The cow likes the lion. The cow sees the lion. The lion is big. The lion is not cold. The lion is nice. The lion sees the cow. If something likes the cow then the cow is nice. If something likes the lion and the lion sees the cow then the lion does not like the cow. If the cow likes the lion and the lion does not like the cow then the lion eats the cow. If something is rough and it likes the lion then it eats the cow. If something eats the cow then the cow is not rough. If something eats the cow and it sees the lion then the lion is not red.
The cow does not see the lion.
@0: The cow eats the lion.[(triple1)] The cow likes the lion.[(triple2)] The cow sees the lion.[(triple3)] The lion is big.[(triple4)] The lion is nice.[(triple6)] The lion is not cold.[(triple5)] The lion sees the cow.[(triple7)] @1: The lion does not like the cow.[(((triple2 triple7) -> rule2))] @2: The lion eats the cow.[(((triple2 ((triple2 triple7) -> rule2)) -> rule3))] @3: The cow is not rough.[(((((triple2 ((triple2 triple7) -> rule2)) -> rule3)) -> rule5))]