The lion is big. The lion is cold. The lion is green. The lion is nice. The lion is rough. All nice people are big. If the lion is nice then the lion is rough. If the lion is nice and the lion is big then the lion is cold.
The lion is not nice.
@0: The lion is big.[(triple1 OR ((triple4) -> rule1))] The lion is cold.[(triple2 OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple4) -> rule1)) -> rule3))] The lion is green.[(triple3)] The lion is nice.[(triple4)] The lion is rough.[(triple5 OR ((triple4) -> rule2))]