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