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