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