The bear is big. The bear is kind. The bear is rough. The bear is round. The bear is young. If something is big and young then it is kind. All kind things are young. Big, kind things are rough.
The bear likes the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2 OR ((triple1 triple5) -> rule1))] The bear is rough.[(triple3 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple1 triple5) -> rule1)) -> rule3))] The bear is round.[(triple4)] The bear is young.[(triple5 OR ((triple2) -> rule2))]