The lion is red. All red people are kind. All blue, red people are big. If someone is red and green then they are big. All kind people are big. If the lion is big then the lion is green. If someone is green and kind then they are red. All red people are blue. If someone is big and red then they are blue.
The lion needs the lion.
@0: The lion is red.[(triple1)] @1: The lion is blue.[(((triple1) -> rule7) OR ((((((triple1) -> rule1)) -> rule4) triple1) -> rule8))] The lion is kind.[(((triple1) -> rule1))] @2: The lion is big.[(((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule7) triple1) -> rule2))] @3: The lion is green.[(((((((triple1) -> rule1)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7) triple1) -> rule2)) -> rule5))]