The tiger is big. The tiger is cold. The tiger is green. The tiger is red. The tiger is rough. Red people are big. Cold people are big. Big people are rough. If the tiger is big then the tiger is red. Big people are red. If the tiger is red and the tiger is not rough then the tiger is green.
The tiger is big.
@0: The tiger is big.[(triple1 OR ((triple2) -> rule2) OR ((triple4) -> rule1))] The tiger is cold.[(triple2)] The tiger is green.[(triple3)] The tiger is red.[(triple4 OR ((triple1) -> rule4) OR ((triple1) -> rule5) OR ((((triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule2)) -> rule5))] The tiger is rough.[(triple5 OR ((triple1) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple4) -> rule1)) -> rule3))]