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