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