The tiger is big. The tiger is red. The tiger is young. Young things are big. All rough things are blue. If something is red and blue then it is big. Rough things are red. All blue things are red. All blue, big things are rough. Rough things are blue. All red things are big.
The tiger is big.
@0: The tiger is big.[(triple1 OR ((triple2) -> rule8) OR ((triple3) -> rule1))] The tiger is red.[(triple2)] The tiger is young.[(triple3)]