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