The tiger is big. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. Round people are kind. Kind people are round. If someone is young and round then they are big.
The tiger visits the tiger.
@0: The tiger is big.[(triple1 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple2) -> rule2)) -> rule3))] The tiger is kind.[(triple2 OR ((triple4) -> rule1))] The tiger is red.[(triple3)] The tiger is round.[(triple4 OR ((triple2) -> rule2))] The tiger is young.[(triple5)]