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