The bear is blue. The bear is nice. The bear is rough. The bear is round. The bear is young. If someone is blue and rough then they are round. All rough, round people are blue. If someone is rough then they are nice. All rough people are young. All young people are rough. All nice people are rough.
The bear does not eat the bear.
@0: The bear is blue.[(triple1 OR ((triple3 triple4) -> rule2) OR ((((triple2) -> rule6) triple4) -> rule2) OR ((((triple5) -> rule5) triple4) -> rule2))] The bear is nice.[(triple2 OR ((triple3) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] The bear is rough.[(triple3 OR ((triple2) -> rule6) OR ((triple5) -> rule5))] The bear is round.[(triple4 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple2) -> rule6)) -> rule1) OR ((triple1 ((triple5) -> rule5)) -> rule1))] The bear is young.[(triple5 OR ((triple3) -> rule4) OR ((((triple2) -> rule6)) -> rule4))]