The tiger is blue. The tiger is green. The tiger is nice. The tiger is rough. The tiger is round. If someone is round then they are rough. If the tiger is rough and the tiger is blue then the tiger is green. Rough, green people are round.
The tiger eats the tiger.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2 OR ((triple4 triple1) -> rule2) OR ((((triple5) -> rule1) triple1) -> rule2))] The tiger is nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple5) -> rule1))] The tiger is round.[(triple5 OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple4 triple1) -> rule2)) -> rule3))]