The bear is nice. The bear is red. The bear is rough. The bear is round. The bear is not young. Nice, red people are rough. If someone is young then they are nice. Rough people are red. If someone is nice and not rough then they are not round. If someone is young and not red then they are round. Nice, rough people are round.
The bear does not need the bear.
@0: The bear is nice.[(triple1)] The bear is not young.[(triple5)] The bear is red.[(triple2 OR ((triple3) -> rule3))] The bear is rough.[(triple3 OR ((triple1 triple2) -> rule1))] The bear is round.[(triple4 OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple1 triple2) -> rule1)) -> rule6))]