The tiger is rough. The tiger is round. The tiger is young. If the tiger is cold and the tiger is young then the tiger is kind. If the tiger is cold then the tiger is rough. If the tiger is cold and the tiger is young then the tiger is rough. If something is round and young then it is kind. If something is kind then it is rough. Young, cold things are rough. If the tiger is kind then the tiger is not cold. If something is rough then it is round.
The tiger is young.
@0: The tiger is rough.[(triple1 OR ((((triple2 triple3) -> rule4)) -> rule5))] The tiger is round.[(triple2 OR ((triple1) -> rule8))] The tiger is young.[(triple3)] @1: The tiger is kind.[(((triple2 triple3) -> rule4) OR ((((triple1) -> rule8) triple3) -> rule4))] @2: The tiger is not cold.[(((((triple2 triple3) -> rule4)) -> rule7) OR ((((((triple1) -> rule8) triple3) -> rule4)) -> rule7))]