The cow chases the dog. The cow is big. The cow is rough. The cow sees the dog. The dog is big. The dog is red. The dog needs the cow. The dog sees the cow. The dog sees the lion. The lion chases the cow. The lion chases the dog. The lion is big. The lion is blue. The lion is red. The lion sees the dog. If something needs the lion then the lion is rough. If something chases the dog and it sees the cow then the dog is rough. If something chases the cow then it is blue. If something sees the cow then it chases the cow. Red things are kind. If something sees the lion and it needs the lion then the lion sees the cow. If the dog sees the lion then the lion is kind. If something is red and kind then it needs the lion.
The cow does not need the lion.
@0: The cow chases the dog.[(triple1)] The cow is big.[(triple2)] The cow is rough.[(triple3)] The cow sees the dog.[(triple4)] The dog is big.[(triple5)] The dog is red.[(triple6)] The dog needs the cow.[(triple7)] The dog sees the cow.[(triple8)] The dog sees the lion.[(triple9)] The lion chases the cow.[(triple10 OR ((((triple9 ((triple6 ((triple6) -> rule5)) -> rule8)) -> rule6)) -> rule4))] The lion chases the dog.[(triple11)] The lion is big.[(triple12)] The lion is blue.[(triple13 OR ((triple10) -> rule3) OR ((((((triple9 ((triple6 ((triple6) -> rule5)) -> rule8)) -> rule6)) -> rule4)) -> rule3))] The lion is red.[(triple14)] The lion sees the dog.[(triple15)] @1: The dog chases the cow.[(((triple8) -> rule4))] The dog is kind.[(((triple6) -> rule5))] The lion is kind.[(((triple14) -> rule5) OR ((triple9) -> rule7))] @2: The dog is blue.[(((((triple8) -> rule4)) -> rule3))] The dog needs the lion.[(((triple6 ((triple6) -> rule5)) -> rule8))] The lion needs the lion.[(((triple14 ((triple14) -> rule5)) -> rule8) OR ((triple14 ((triple9) -> rule7)) -> rule8))] @3: The lion is rough.[(((((triple14 ((triple14) -> rule5)) -> rule8)) -> rule1) OR ((((triple14 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((triple6 ((triple6) -> rule5)) -> rule8)) -> rule1))] The lion sees the cow.[(((triple9 ((triple6 ((triple6) -> rule5)) -> rule8)) -> rule6))] @4: The dog is rough.[(((triple11 ((triple9 ((triple6 ((triple6) -> rule5)) -> rule8)) -> rule6)) -> rule2))]