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