The lion is blue. The lion is not green. The lion is kind. The lion is red. The lion is round. All green, red things are round. All red things are round. All red things are round. If the lion is green then the lion is kind. Green things are red. If the lion is not kind then the lion is round. All green, round things are blue. If something is round and red then it is blue.
The lion eats the lion.
@0: The lion is blue.[(triple1 OR ((triple5 triple4) -> rule8) OR ((((triple4) -> rule2) triple4) -> rule8) OR ((((triple4) -> rule3) triple4) -> rule8))] The lion is kind.[(triple3)] The lion is not green.[(triple2)] The lion is red.[(triple4)] The lion is round.[(triple5 OR ((triple4) -> rule2) OR ((triple4) -> rule3))]