The tiger is cold. The tiger is nice. The tiger is not rough. The tiger is round. The tiger is young. All rough, round things are nice. If something is cold and not rough then it is nice. All rough things are young.
The tiger is not round.
@0: The tiger is cold.[(triple1)] The tiger is nice.[(triple2 OR ((triple1 triple3) -> rule2))] The tiger is not rough.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5)]