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