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