The lion is big. The lion is kind. The lion is nice. Big things are blue. If the lion is blue then the lion is not cold. If something is cold then it is not big. All nice things are kind. Cold, big things are nice. If something is cold and not blue then it is nice. Blue things are nice. If something is cold then it is not nice.
The lion is not blue.
@0: The lion is big.[(triple1)] The lion is kind.[(triple2 OR ((triple3) -> rule4) OR ((((((triple1) -> rule1)) -> rule7)) -> rule4))] The lion is nice.[(triple3 OR ((((triple1) -> rule1)) -> rule7))] @1: The lion is blue.[(((triple1) -> rule1))] @2: The lion is not cold.[(((((triple1) -> rule1)) -> rule2))]