The tiger is blue. The tiger is not red. The tiger is not round. Round things are not red. If something is round and blue then it is red. Red things are young. If the tiger is red then the tiger is blue. If the tiger is not round then the tiger is blue. Young things are blue. If something is round and not young then it is nice. Blue things are not nice.
The tiger is blue.
@0: The tiger is blue.[(triple1 OR ((triple3) -> rule5))] The tiger is not red.[(triple2)] The tiger is not round.[(triple3)] @1: The tiger is not nice.[(((triple1) -> rule8) OR ((((triple3) -> rule5)) -> rule8))]