The tiger is cold. The tiger is green. The tiger is kind. The tiger is rough. The tiger is round. All cold things are round.
The tiger is not green.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2)] The tiger is kind.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5 OR ((triple1) -> rule1))]