The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is young. Young, blue things are kind. If something is red then it is blue. If the bear is blue then the bear is young.
The bear is not young.
@0: The bear is blue.[(triple1 OR ((triple4) -> rule2))] The bear is kind.[(triple2 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple4) -> rule2)) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule1) OR ((((triple1) -> rule3) ((triple4) -> rule2)) -> rule1) OR ((((((triple4) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule1))] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]