The tiger is big. The tiger is rough. The tiger is round. If someone is round and big then they are rough. If someone is big and rough then they are kind. If the tiger is kind and the tiger is round then the tiger is rough. If someone is rough then they are young. Kind, rough people are young. If the tiger is kind then the tiger is round.
The tiger does not eat the tiger.
@0: The tiger is big.[(triple1)] The tiger is rough.[(triple2 OR ((triple3 triple1) -> rule1))] The tiger is round.[(triple3 OR ((((triple1 triple2) -> rule2)) -> rule6))] @1: The tiger is kind.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple3 triple1) -> rule1)) -> rule2))] The tiger is young.[(((triple2) -> rule4) OR ((((triple3 triple1) -> rule1)) -> rule4) OR ((((triple1 triple2) -> rule2) triple2) -> rule5) OR ((((triple1 triple2) -> rule2) ((triple3 triple1) -> rule1)) -> rule5) OR ((((triple1 ((triple3 triple1) -> rule1)) -> rule2) triple2) -> rule5) OR ((((triple1 ((triple3 triple1) -> rule1)) -> rule2) ((triple3 triple1) -> rule1)) -> rule5))]