The cow eats the lion. The cow is nice. The cow is round. The cow is young. The cow needs the lion. The cow sees the lion. The lion is nice. The lion is rough. The lion needs the cow. The lion sees the cow. If something eats the lion and the lion is kind then it sees the lion. If something eats the cow then it eats the lion. If something sees the cow and the cow sees the lion then it is kind. If the lion is rough then the lion eats the cow. If something is young and kind then it eats the cow. If something is kind then it sees the cow.
The cow is rough.
@0: The cow eats the lion.[(triple1)] The cow is nice.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow needs the lion.[(triple5)] The cow sees the lion.[(triple6)] The lion is nice.[(triple7)] The lion is rough.[(triple8)] The lion needs the cow.[(triple9)] The lion sees the cow.[(triple10)] @1: The lion eats the cow.[(((triple8) -> rule4))] The lion is kind.[(((triple10 triple6) -> rule3))] @2: The lion eats the lion.[(((((triple8) -> rule4)) -> rule2))] @3: The lion sees the lion.[(((((((triple8) -> rule4)) -> rule2) ((triple10 triple6) -> rule3)) -> rule1))]