The tiger is not cold. The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. If the tiger is cold then the tiger is green. Kind, cold things are green. All green, nice things are kind. Cold things are not kind. Nice, green things are rough. If something is nice and not kind then it is rough.
The tiger does not eat the tiger.
@0: The tiger is green.[(triple2)] The tiger is kind.[(triple3 OR ((triple2 triple4) -> rule3))] The tiger is nice.[(triple4)] The tiger is not cold.[(triple1)] The tiger is rough.[(triple5 OR ((triple4 triple2) -> rule5))]