The lion is big. The lion is blue. The lion is cold. The lion is rough. The lion is round. All big things are round. Round things are rough. If something is rough and not big then it is not cold. All round things are cold. If the lion is rough then the lion is blue. If the lion is blue and the lion is not round then the lion is not cold.
The lion is big.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2 OR ((triple4) -> rule5) OR ((((triple5) -> rule2)) -> rule5) OR ((((((triple1) -> rule1)) -> rule2)) -> rule5))] The lion is cold.[(triple3 OR ((triple5) -> rule4) OR ((((triple1) -> rule1)) -> rule4))] The lion is rough.[(triple4 OR ((triple5) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] The lion is round.[(triple5 OR ((triple1) -> rule1))]