The bear is big. The bear is kind. The bear is nice. The bear is red. The bear is young. If someone is nice then they are big. All nice people are big. Nice people are red.
The bear likes the bear.
@0: The bear is big.[(triple1 OR ((triple3) -> rule1) OR ((triple3) -> rule2))] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4 OR ((triple3) -> rule3))] The bear is young.[(triple5)]