The tiger is cold. The tiger is green. The tiger is red. The tiger is not round. The tiger is young. Round things are cold. If something is red and not green then it is not cold. If something is round then it is cold. If the tiger is not round then the tiger is red. If something is cold and not green then it is red. Cold things are red. If something is round then it is red. If something is round and not young then it is not red.
The tiger does not need the tiger.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2)] The tiger is not round.[(triple4)] The tiger is red.[(triple3 OR ((triple1) -> rule6) OR ((triple4) -> rule4))] The tiger is young.[(triple5)]