The tiger is not blue. The tiger is green. The tiger is nice. The tiger is round. The tiger is young. Blue people are round. If someone is young and not blue then they are round. Blue people are round. If the tiger is young then the tiger is green. If someone is round and not young then they are nice. If the tiger is green and the tiger is round then the tiger is nice. If someone is young and not round then they are green. If someone is nice then they are green.
The tiger is nice.
@0: The tiger is green.[(triple2 OR ((triple3) -> rule8) OR ((triple5) -> rule4))] The tiger is nice.[(triple3 OR ((triple2 triple4) -> rule6) OR ((triple2 ((triple5 triple1) -> rule2)) -> rule6) OR ((((triple5) -> rule4) triple4) -> rule6) OR ((((triple5) -> rule4) ((triple5 triple1) -> rule2)) -> rule6))] The tiger is not blue.[(triple1)] The tiger is round.[(triple4 OR ((triple5 triple1) -> rule2))] The tiger is young.[(triple5)]