The lion is big. The lion is cold. The lion is young. Cold things are red. Red, cold things are kind. If something is big and kind then it is red. If the lion is big and the lion is red then the lion is young. If the lion is kind and the lion is cold then the lion is big. Young, cold things are kind. If something is kind and cold then it is young. All red, kind things are big.
The lion does not eat the lion.
@0: The lion is big.[(triple1 OR ((((triple3 triple2) -> rule6) triple2) -> rule5) OR ((((triple2) -> rule1) ((triple3 triple2) -> rule6)) -> rule8) OR ((((((triple2) -> rule1) triple2) -> rule2) triple2) -> rule5) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule2)) -> rule8))] The lion is cold.[(triple2)] The lion is young.[(triple3 OR ((triple1 ((triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule1) triple2) -> rule2) triple2) -> rule7) OR ((((((((triple2) -> rule1) triple2) -> rule2) triple2) -> rule5) ((triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule2)) -> rule8) ((triple2) -> rule1)) -> rule4))] @1: The lion is kind.[(((triple3 triple2) -> rule6) OR ((((triple2) -> rule1) triple2) -> rule2) OR ((((triple1 ((triple2) -> rule1)) -> rule4) triple2) -> rule6))] The lion is red.[(((triple2) -> rule1) OR ((triple1 ((triple3 triple2) -> rule6)) -> rule3) OR ((((((triple3 triple2) -> rule6) triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule3))]