The cow chases the tiger. The cow is not cold. The cow is green. The cow is nice. The cow is red. The cow is young. The cow does not need the tiger. The cow sees the tiger. The tiger chases the cow. The tiger is green. The tiger is not nice. The tiger is red. The tiger is young. The tiger needs the cow. The tiger sees the cow. If the cow sees the tiger then the tiger is green. If something is cold then it needs the tiger. If something chases the tiger then it is red. If something needs the tiger then the tiger does not need the cow. If something is nice and it does not see the cow then it is green. If something is red then it sees the tiger. If something chases the cow then the cow sees the tiger. If something needs the tiger and the tiger is not red then it is young.
The tiger is young.
@0: The cow chases the tiger.[(triple1)] The cow does not need the tiger.[(triple7)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is not cold.[(triple2)] The cow is red.[(triple5 OR ((triple1) -> rule3))] The cow is young.[(triple6)] The cow sees the tiger.[(triple8 OR ((triple5) -> rule6) OR ((triple9) -> rule7) OR ((((triple1) -> rule3)) -> rule6))] The tiger chases the cow.[(triple9)] The tiger is green.[(triple10 OR ((triple8) -> rule1) OR ((((triple5) -> rule6)) -> rule1) OR ((((triple9) -> rule7)) -> rule1) OR ((((((triple1) -> rule3)) -> rule6)) -> rule1))] The tiger is not nice.[(triple11)] The tiger is red.[(triple12)] The tiger is young.[(triple13)] The tiger needs the cow.[(triple14)] The tiger sees the cow.[(triple15)] @1: The tiger sees the tiger.[(((triple12) -> rule6))]