The bear is blue. The bear is green. The bear is red. The bear is rough. The bear is young. Blue things are rough. All red, blue things are young. Rough things are young. If the bear is blue and the bear is red then the bear is green. All green, rough things are red. If the bear is green then the bear is red.
The bear visits the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2 OR ((triple1 triple3) -> rule4))] The bear is red.[(triple3 OR ((triple2) -> rule6) OR ((triple2 triple4) -> rule5) OR ((triple2 ((triple1) -> rule1)) -> rule5))] The bear is rough.[(triple4 OR ((triple1) -> rule1))] The bear is young.[(triple5 OR ((triple4) -> rule3) OR ((triple3 triple1) -> rule2) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple2) -> rule6) triple1) -> rule2) OR ((((triple2 triple4) -> rule5) triple1) -> rule2) OR ((((triple2 ((triple1) -> rule1)) -> rule5) triple1) -> rule2))]