The cow eats the lion. The cow eats the tiger. The cow likes the lion. The lion chases the tiger. The lion eats the tiger. The lion is nice. The lion is rough. The lion likes the tiger. The tiger chases the cow. The tiger chases the lion. The tiger eats the cow. The tiger eats the lion. The tiger is cold. The tiger is green. The tiger likes the cow. If something is cold then it eats the lion. If something chases the lion then the lion is nice. If something chases the cow then it chases the tiger. If something chases the lion then the lion is nice. If something eats the tiger then the tiger is cold. If something chases the lion and the lion is round then it is round. If something eats the tiger and it eats the cow then it is green. If the lion is rough then the lion is cold.
The lion is not green.
@0: The cow eats the lion.[(triple1)] The cow eats the tiger.[(triple2)] The cow likes the lion.[(triple3)] The lion chases the tiger.[(triple4)] The lion eats the tiger.[(triple5)] The lion is nice.[(triple6 OR ((triple10) -> rule2) OR ((triple10) -> rule4))] The lion is rough.[(triple7)] The lion likes the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger chases the lion.[(triple10)] The tiger eats the cow.[(triple11)] The tiger eats the lion.[(triple12 OR ((triple13) -> rule1) OR ((((triple2) -> rule5)) -> rule1) OR ((((triple5) -> rule5)) -> rule1))] The tiger is cold.[(triple13 OR ((triple2) -> rule5) OR ((triple5) -> rule5))] The tiger is green.[(triple14)] The tiger likes the cow.[(triple15)] @1: The lion is cold.[(((triple7) -> rule8))] The tiger chases the tiger.[(((triple9) -> rule3))] @2: The lion eats the lion.[(((((triple7) -> rule8)) -> rule1))]