The tiger is green. The tiger is nice. The tiger is red. The tiger is round. The tiger is young. If the tiger is green and the tiger is young then the tiger is round. Green, young people are round. Red, green people are young.
The tiger is round.
@0: The tiger is green.[(triple1)] The tiger is nice.[(triple2)] The tiger is red.[(triple3)] The tiger is round.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule1) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule2))] The tiger is young.[(triple5 OR ((triple3 triple1) -> rule3))]