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