The lion is cold. The lion is kind. The lion is nice. The lion is red. The lion is round. Kind people are cold. If someone is red and round then they are cold. Kind, round people are red.
The lion is red.
@0: The lion is cold.[(triple1 OR ((triple2) -> rule1) OR ((triple4 triple5) -> rule2) OR ((((triple2 triple5) -> rule3) triple5) -> rule2))] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4 OR ((triple2 triple5) -> rule3))] The lion is round.[(triple5)]