The bear is big. The bear is kind. The bear is nice. The bear is rough. The bear is round. If the bear is kind and the bear is rough then the bear is big. If someone is kind and big then they are round. All big people are rough.
The bear does not see the bear.
@0: The bear is big.[(triple1 OR ((triple2 triple4) -> rule1))] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4 OR ((triple1) -> rule3))] The bear is round.[(triple5 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple2 triple4) -> rule1)) -> rule2))]