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