The tiger is big. The tiger is cold. The tiger is rough. Big, cold people are nice. If someone is nice then they are rough. If someone is nice then they are rough. If someone is cold then they are nice. Rough, nice people are cold. If someone is cold and green then they are nice. All cold, big people are rough. If the tiger is rough and the tiger is green then the tiger is nice.
The tiger is rough.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is rough.[(triple3 OR ((triple2 triple1) -> rule7) OR ((((triple2) -> rule4)) -> rule2) OR ((((triple2) -> rule4)) -> rule3) OR ((((triple1 triple2) -> rule1)) -> rule2) OR ((((triple1 triple2) -> rule1)) -> rule3))] @1: The tiger is nice.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule1))]