The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is round. If the tiger is big then the tiger is blue. If the tiger is round and the tiger is cold then the tiger is big. If the tiger is blue and the tiger is big then the tiger is cold.
The tiger is big.
@0: The tiger is big.[(triple1 OR ((triple5 triple3) -> rule2))] The tiger is blue.[(triple2 OR ((triple1) -> rule1) OR ((((triple5 triple3) -> rule2)) -> rule1))] The tiger is cold.[(triple3 OR ((triple2 triple1) -> rule3) OR ((((triple1) -> rule1) triple1) -> rule3))] The tiger is kind.[(triple4)] The tiger is round.[(triple5)]