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