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