The tiger is rough. Green people are big. If someone is red then they are young. If someone is big then they are green. All red people are rough. All big, green people are red. If the tiger is big then the tiger is rough. If someone is green and young then they are red. Rough people are red.
The tiger is not big.
@0: The tiger is rough.[(triple1)] @1: The tiger is red.[(((triple1) -> rule8))] @2: The tiger is young.[(((((triple1) -> rule8)) -> rule2))]