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