The tiger is green. The tiger is kind. The tiger is rough. If the tiger is rough then the tiger is green. If something is kind then it is not round. Green things are not nice.
The tiger is rough.
@0: The tiger is green.[(triple1 OR ((triple3) -> rule1))] The tiger is kind.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger is not nice.[(((triple1) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] The tiger is not round.[(((triple2) -> rule2))]