The tiger is not big. The tiger is not blue. The tiger is cold. The tiger is rough. The tiger is round. If something is big and not round then it is blue. Big things are blue. Blue things are big. Big, round things are cold. All cold things are rough. If something is big and not blue then it is rough. Cold, big things are rough. If something is big and not blue then it is rough.
The tiger is cold.
@0: The tiger is cold.[(triple3)] The tiger is not big.[(triple1)] The tiger is not blue.[(triple2)] The tiger is rough.[(triple4 OR ((triple3) -> rule5))] The tiger is round.[(triple5)]