The lion is big. The lion is cold. The lion is nice. The lion is red. The lion is young. All cold, nice people are big. All big people are red. All young, big people are red. Cold people are nice. Nice people are cold. Cold people are young. Cold, young people are red. If someone is red then they are big.
The lion is cold.
@0: The lion is big.[(triple1 OR ((triple4) -> rule8) OR ((triple2 triple3) -> rule1) OR ((((triple2 triple5) -> rule7)) -> rule8) OR ((triple2 ((triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule5) triple3) -> rule1) OR ((((triple3) -> rule5) ((triple2) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule8) OR ((((((triple3) -> rule5) triple5) -> rule7)) -> rule8) OR ((((((triple3) -> rule5) ((triple2) -> rule6)) -> rule7)) -> rule8) OR ((((triple2 ((((triple3) -> rule5)) -> rule6)) -> rule7)) -> rule8) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule7)) -> rule8))] The lion is cold.[(triple2 OR ((triple3) -> rule5))] The lion is nice.[(triple3 OR ((triple2) -> rule4))] The lion is red.[(triple4 OR ((triple1) -> rule2) OR ((triple2 triple5) -> rule7) OR ((triple5 triple1) -> rule3) OR ((((triple2 triple3) -> rule1)) -> rule2) OR ((triple2 ((triple2) -> rule6)) -> rule7) OR ((triple5 ((triple2 triple3) -> rule1)) -> rule3) OR ((((triple2) -> rule6) triple1) -> rule3) OR ((((triple3) -> rule5) triple5) -> rule7) OR ((((triple2) -> rule6) ((triple2 triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule5) ((triple2) -> rule6)) -> rule7) OR ((((triple2 ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule1)) -> rule2) OR ((triple2 ((((triple3) -> rule5)) -> rule6)) -> rule7) OR ((triple5 ((triple2 ((triple2) -> rule4)) -> rule1)) -> rule3) OR ((triple5 ((((triple3) -> rule5) triple3) -> rule1)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6) triple1) -> rule3) OR ((((((triple3) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((triple5 ((((triple3) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((triple3) -> rule5) triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule7) OR ((((((triple3) -> rule5)) -> rule6) ((triple2 triple3) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((triple3) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule1)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6) ((((triple3) -> rule5) triple3) -> rule1)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6) ((((triple3) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule3))] The lion is young.[(triple5 OR ((triple2) -> rule6) OR ((((triple3) -> rule5)) -> rule6))]