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