The bear is cold. The bear is kind. The bear is nice. The bear is round. The bear is young. All nice things are young. Round, cold things are nice.
The bear does not eat the bear.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3 OR ((triple4 triple1) -> rule2))] The bear is round.[(triple4)] The bear is young.[(triple5 OR ((triple3) -> rule1) OR ((((triple4 triple1) -> rule2)) -> rule1))]