The tiger is big. The tiger is green. The tiger is kind. The tiger is rough. The tiger is round. All round, rough people are kind. If someone is rough then they are green. Round people are kind.
The tiger chases the tiger.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2 OR ((triple4) -> rule2))] The tiger is kind.[(triple3 OR ((triple5) -> rule3) OR ((triple5 triple4) -> rule1))] The tiger is rough.[(triple4)] The tiger is round.[(triple5)]