The bear is big. The bear is blue. The bear is nice. The bear is round. The bear is young. If someone is big and nice then they are young.
The bear is round.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5 OR ((triple1 triple3) -> rule1))]