The tiger is big. The tiger is not blue. The tiger is kind. The tiger is red. The tiger is round. If something is round then it is red. Big things are red. Kind things are round.
The tiger needs the tiger.
@0: The tiger is big.[(triple1)] The tiger is kind.[(triple3)] The tiger is not blue.[(triple2)] The tiger is red.[(triple4 OR ((triple1) -> rule2) OR ((triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The tiger is round.[(triple5 OR ((triple3) -> rule3))]