The cat chases the cow. The cat chases the lion. The cat eats the lion. The cat is green. The cat needs the lion. The cow eats the lion. The cow is green. The cow is rough. The cow needs the cat. The cow needs the lion. The lion chases the cow. The lion eats the cat. The lion eats the cow. The lion is young. The lion needs the cow. If something chases the lion and the lion is blue then it is rough. If the cat does not need the cow and the cow does not need the cat then the cow chases the lion. If something eats the cow then the cow is young. If something chases the cow and the cow chases the lion then the lion is green. If something is young then it chases the lion. If the cat needs the cow then the cat chases the cow.
The lion is not green.
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat eats the lion.[(triple3)] The cat is green.[(triple4)] The cat needs the lion.[(triple5)] The cow eats the lion.[(triple6)] The cow is green.[(triple7)] The cow is rough.[(triple8)] The cow needs the cat.[(triple9)] The cow needs the lion.[(triple10)] The lion chases the cow.[(triple11)] The lion eats the cat.[(triple12)] The lion eats the cow.[(triple13)] The lion is young.[(triple14)] The lion needs the cow.[(triple15)] @1: The cow is young.[(((triple13) -> rule3))] The lion chases the lion.[(((triple14) -> rule5))] @2: The cow chases the lion.[(((((triple13) -> rule3)) -> rule5))] @3: The lion is green.[(((triple1 ((((triple13) -> rule3)) -> rule5)) -> rule4) OR ((triple11 ((((triple13) -> rule3)) -> rule5)) -> rule4))]