The lion is big. The lion is cold. The lion is nice. The lion is red. The lion is rough. All red, big things are nice. If something is red and cold then it is big. Red, cold things are big.
The lion is not red.
@0: The lion is big.[(triple1 OR ((triple4 triple2) -> rule2) OR ((triple4 triple2) -> rule3))] The lion is cold.[(triple2)] The lion is nice.[(triple3 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple4 triple2) -> rule2)) -> rule1) OR ((triple4 ((triple4 triple2) -> rule3)) -> rule1))] The lion is red.[(triple4)] The lion is rough.[(triple5)]