The cat is red. The cat does not need the lion. The lion eats the cat. The lion is blue. The lion is round. The lion does not like the cat. The lion needs the cat. If something eats the cat then it is not rough. If the lion likes the cat then the lion needs the cat. If something needs the cat and it does not like the cat then it likes the lion. If something is blue then it likes the lion. If something likes the cat then the cat eats the lion. If the cat needs the lion and the cat is not round then the cat eats the lion. If something likes the lion then the lion is kind. If something is kind then it does not need the lion.
The lion is kind.
@0: The cat does not need the lion.[(triple2)] The cat is red.[(triple1)] The lion does not like the cat.[(triple6)] The lion eats the cat.[(triple3)] The lion is blue.[(triple4)] The lion is round.[(triple5)] The lion needs the cat.[(triple7)] @1: The lion is not rough.[(((triple3) -> rule1))] The lion likes the lion.[(((triple4) -> rule4) OR ((triple7 triple6) -> rule3))] @2: The lion is kind.[(((((triple4) -> rule4)) -> rule7) OR ((((triple7 triple6) -> rule3)) -> rule7))] @3: The lion does not need the lion.[(((((((triple4) -> rule4)) -> rule7)) -> rule8) OR ((((((triple7 triple6) -> rule3)) -> rule7)) -> rule8))]