The tiger is blue. The tiger is green. The tiger is round. Blue people are green. If someone is cold then they are blue. If someone is round then they are cold. All blue people are young. All young people are blue. Round, blue people are green.
The tiger is green.
@0: The tiger is blue.[(triple1 OR ((((triple3) -> rule3)) -> rule2))] The tiger is green.[(triple2 OR ((triple1) -> rule1) OR ((triple3 triple1) -> rule6) OR ((((((triple3) -> rule3)) -> rule2)) -> rule1) OR ((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule6))] The tiger is round.[(triple3)] @1: The tiger is cold.[(((triple3) -> rule3))] The tiger is young.[(((triple1) -> rule4) OR ((((((triple3) -> rule3)) -> rule2)) -> rule4))]