The tiger is cold. The tiger is green. The tiger is red. The tiger is rough. The tiger is round. If someone is rough and green then they are red. If someone is red then they are rough. All rough, cold people are green.
The tiger is rough.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2 OR ((triple4 triple1) -> rule3) OR ((((triple3) -> rule2) triple1) -> rule3))] The tiger is red.[(triple3 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple4 triple1) -> rule3)) -> rule1))] The tiger is rough.[(triple4 OR ((triple3) -> rule2))] The tiger is round.[(triple5)]