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