The bear is big. The cow is round. The lion needs the tiger. The tiger chases the lion. If something chases the lion and it is green then it sees the lion. If something needs the lion then it is not round. If something needs the tiger then it sees the cow. If something needs the cow then it is blue. If something sees the cow then it needs the cow. If the cow does not see the lion and the cow does not chase the tiger then the lion needs the bear.
The lion does not see the cow.
@0: The bear is big.[(triple1)] The cow is round.[(triple2)] The lion needs the tiger.[(triple3)] The tiger chases the lion.[(triple4)] @1: The lion sees the cow.[(((triple3) -> rule3))] @2: The lion needs the cow.[(((((triple3) -> rule3)) -> rule5))] @3: The lion is blue.[(((((((triple3) -> rule3)) -> rule5)) -> rule4))]