The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is round. If the tiger is kind then the tiger is round. Kind, round things are green.
The tiger is not round.
@0: The tiger is green.[(triple1 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple2) -> rule1)) -> rule2))] The tiger is kind.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5 OR ((triple2) -> rule1))]