The tiger is cold. The tiger is kind. The tiger is round. All round, red things are green. If something is red then it is green. Round things are green. All round things are cold. Red things are cold. Green things are kind. If something is kind and green then it is not red. If the tiger is round then the tiger is not red.
The tiger does not visit the tiger.
@0: The tiger is cold.[(triple1 OR ((triple3) -> rule4))] The tiger is kind.[(triple2 OR ((((triple3) -> rule3)) -> rule6))] The tiger is round.[(triple3)] @1: The tiger is green.[(((triple3) -> rule3))] The tiger is not red.[(((triple3) -> rule8) OR ((triple2 ((triple3) -> rule3)) -> rule7) OR ((((((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule7))]