The cat eats the lion. The cat is cold. The cat is not green. The cat is kind. The cat is nice. The cat is young. The cat does not need the lion. The cat visits the lion. The lion eats the cat. The lion is cold. The lion is not green. The lion is not kind. The lion is nice. The lion is young. The lion needs the cat. The lion visits the cat. If someone is cold and nice then they need the cat. If someone eats the cat and they need the cat then the cat does not need the lion. If someone eats the lion then the lion needs the cat.
The cat is not cold.
@0: The cat does not need the lion.[(triple7 OR ((triple9 triple15) -> rule2) OR ((triple9 ((triple1) -> rule3)) -> rule2) OR ((triple9 ((triple10 triple13) -> rule1)) -> rule2))] The cat eats the lion.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is not green.[(triple3)] The cat is young.[(triple6)] The cat visits the lion.[(triple8)] The lion eats the cat.[(triple9)] The lion is cold.[(triple10)] The lion is nice.[(triple13)] The lion is not green.[(triple11)] The lion is not kind.[(triple12)] The lion is young.[(triple14)] The lion needs the cat.[(triple15 OR ((triple1) -> rule3) OR ((triple10 triple13) -> rule1))] The lion visits the cat.[(triple16)] @1: The cat needs the cat.[(((triple2 triple5) -> rule1))]