The tiger is blue. The tiger is green. The tiger is nice. The tiger is round. The tiger is young. Young people are round. If someone is round and not blue then they are green. Round people are green.
The tiger does not like the tiger.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2 OR ((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The tiger is nice.[(triple3)] The tiger is round.[(triple4 OR ((triple5) -> rule1))] The tiger is young.[(triple5)]