The bear is not nice. The bear is red. The bear is rough. The bear is not round. The bear is young. Nice things are red. Round things are not red. If the bear is rough then the bear is not round. If the bear is round then the bear is not young. If the bear is red and the bear is not nice then the bear is young. Young things are rough. If something is nice and red then it is young. Young, red things are not round.
The bear does not eat the bear.
@0: The bear is not nice.[(triple1)] The bear is not round.[(triple4 OR ((triple3) -> rule3) OR ((triple5 triple2) -> rule8) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple2 triple1) -> rule5) triple2) -> rule8) OR ((((((triple2 triple1) -> rule5)) -> rule6)) -> rule3))] The bear is red.[(triple2)] The bear is rough.[(triple3 OR ((triple5) -> rule6) OR ((((triple2 triple1) -> rule5)) -> rule6))] The bear is young.[(triple5 OR ((triple2 triple1) -> rule5))]