The tiger is blue. If someone is rough then they are blue. If someone is kind and not young then they are blue. All rough, blue people are round. If someone is blue and kind then they are round. Kind people are round. If someone is blue then they are rough. Kind, blue people are rough. If the tiger is rough then the tiger is blue.
The tiger is not blue.
@0: The tiger is blue.[(triple1)] @1: The tiger is rough.[(((triple1) -> rule6))] @2: The tiger is round.[(((((triple1) -> rule6) triple1) -> rule3))]