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 does not visit the tiger.
@0: The tiger is nice.[(triple1 OR ((triple3) -> rule2))] The tiger is red.[(triple2)] The tiger is round.[(triple3)]