The tiger is big. The tiger is blue. The tiger is cold. The tiger is red. The tiger is round. If something is big then it is round. Cold, red things are round. If something is cold and not red then it is blue. If something is cold then it is blue. If the tiger is blue and the tiger is red then the tiger is big. Cold, blue things are big. All red things are big. If the tiger is cold and the tiger is not big then the tiger is round.
The tiger is round.
@0: The tiger is big.[(triple1 OR ((triple4) -> rule7) OR ((triple2 triple4) -> rule5) OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule4)) -> rule6) OR ((((triple3) -> rule4) triple4) -> rule5))] The tiger is blue.[(triple2 OR ((triple3) -> rule4))] The tiger is cold.[(triple3)] The tiger is red.[(triple4)] The tiger is round.[(triple5 OR ((triple1) -> rule1) OR ((triple3 triple4) -> rule2) OR ((((triple4) -> rule7)) -> rule1) OR ((((triple2 triple4) -> rule5)) -> rule1) OR ((((triple3 triple2) -> rule6)) -> rule1) OR ((((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((((triple3) -> rule4) triple4) -> rule5)) -> rule1))]