The tiger is nice. The tiger is red. The tiger is round. All rough, kind things are round. If something is round then it is nice.
The tiger is nice.
@0: The tiger is nice.[(triple1 OR ((triple3) -> rule2))] The tiger is red.[(triple2)] The tiger is round.[(triple3)]