The lion is cold. The lion is kind. The lion is red. All blue people are red. Blue people are kind. Rough people are blue. All rough, kind people are blue. All kind, red people are blue. Rough people are kind. If someone is rough then they are red. All cold, red people are rough.
The lion eats the lion.
@0: The lion is cold.[(triple1)] The lion is kind.[(triple2 OR ((((triple1 triple3) -> rule8)) -> rule6) OR ((((((triple1 triple3) -> rule8)) -> rule3)) -> rule2))] The lion is red.[(triple3)] @1: The lion is blue.[(((triple2 triple3) -> rule5) OR ((((triple1 triple3) -> rule8)) -> rule3) OR ((((triple1 triple3) -> rule8) triple2) -> rule4) OR ((((((triple1 triple3) -> rule8)) -> rule6) triple3) -> rule5) OR ((((triple1 triple3) -> rule8) ((((triple1 triple3) -> rule8)) -> rule6)) -> rule4))] The lion is rough.[(((triple1 triple3) -> rule8))]