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