The tiger is not big. The tiger is kind. The tiger is round. If something is cold and not round then it is not rough. Big, round things are rough. If something is round then it is cold.
The tiger is big.
@0: The tiger is kind.[(triple2)] The tiger is not big.[(triple1)] The tiger is round.[(triple3)] @1: The tiger is cold.[(((triple3) -> rule3))]