The tiger is green. All kind things are nice. All round things are nice. Round, cold things are green. If the tiger is green then the tiger is cold. If something is nice then it is cold. All green things are nice. If the tiger is green and the tiger is nice then the tiger is cold. If the tiger is round then the tiger is nice.
The tiger is green.
@0: The tiger is green.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule4) OR ((((triple1) -> rule6)) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule7))] The tiger is nice.[(((triple1) -> rule6))]