The tiger is green. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. Round, young things are kind. All kind, green things are young. All kind things are young. If something is red then it is young. All red things are young. If the tiger is kind and the tiger is young then the tiger is round.
The tiger does not eat the tiger.
@0: The tiger is green.[(triple1)] The tiger is kind.[(triple2 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple3) -> rule4)) -> rule1) OR ((triple4 ((triple3) -> rule5)) -> rule1))] The tiger is red.[(triple3)] The tiger is round.[(triple4 OR ((triple2 triple5) -> rule6) OR ((triple2 ((triple2) -> rule3)) -> rule6) OR ((triple2 ((triple3) -> rule4)) -> rule6) OR ((triple2 ((triple3) -> rule5)) -> rule6) OR ((triple2 ((triple2 triple1) -> rule2)) -> rule6))] The tiger is young.[(triple5 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((triple3) -> rule5) OR ((triple2 triple1) -> rule2))]