The tiger is blue. The tiger is cold. The tiger is not green. The tiger is nice. The tiger is young. Green things are nice. If the tiger is not green then the tiger is cold. If something is nice and green then it is young. If the tiger is nice then the tiger is young. If something is green and not nice then it is blue. If something is nice and not blue then it is cold.
The tiger sees the tiger.
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2 OR ((triple3) -> rule2))] The tiger is nice.[(triple4)] The tiger is not green.[(triple3)] The tiger is young.[(triple5 OR ((triple4) -> rule4))]