The cat does not eat the lion. The cat is red. The cat is rough. The cat is not round. The cat needs the lion. The cat sees the lion. The lion eats the cat. The lion is red. The lion is round. The lion needs the cat. If the lion needs the cat then the cat needs the lion. If someone needs the lion then they do not eat the lion. If someone eats the cat and the cat is big then the cat is green.
The cat is not green.
@0: The cat does not eat the lion.[(triple1 OR ((triple5) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] The cat is not round.[(triple4)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cat needs the lion.[(triple5 OR ((triple10) -> rule1))] The cat sees the lion.[(triple6)] The lion eats the cat.[(triple7)] The lion is red.[(triple8)] The lion is round.[(triple9)] The lion needs the cat.[(triple10)]