The tiger is big. The tiger is cold. The tiger is nice. The tiger is rough. The tiger is young. All big things are young. If something is cold then it is young. If the tiger is cold then the tiger is young. If something is cold then it is young. If something is big and rough then it is young. All cold, big things are young.
The tiger is big.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5 OR ((triple1) -> rule1) OR ((triple2) -> rule2) OR ((triple2) -> rule3) OR ((triple2) -> rule4) OR ((triple1 triple4) -> rule5) OR ((triple2 triple1) -> rule6))]