The tiger is cold. The tiger is nice. The tiger is red. If the tiger is red then the tiger is cold. Cold people are red. If the tiger is cold then the tiger is big. Round, big people are nice. All red, big people are cold. If someone is nice then they are red. If the tiger is cold then the tiger is nice. If someone is round and cold then they are big.
The tiger is nice.
@0: The tiger is cold.[(triple1 OR ((triple3) -> rule1) OR ((((triple2) -> rule6)) -> rule1))] The tiger is nice.[(triple2 OR ((triple1) -> rule7) OR ((((triple3) -> rule1)) -> rule7))] The tiger is red.[(triple3 OR ((triple1) -> rule2) OR ((triple2) -> rule6) OR ((((triple1) -> rule7)) -> rule6))] @1: The tiger is big.[(((triple1) -> rule3) OR ((((triple3) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1)) -> rule3))]