Anne is rough. Anne is young. Charlie is furry. Charlie is kind. Charlie is rough. Dave is kind. Dave is young. All rough, furry people are young. If Anne is red then Anne is young. All rough, kind people are nice. All young, nice people are kind. If Dave is young and Dave is rough then Dave is red. Kind people are red.
Charlie is not rough.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Dave is kind.[(triple6)] Dave is young.[(triple7)] @1: Charlie is nice.[(((triple5 triple4) -> rule3))] Charlie is red.[(((triple4) -> rule6))] Charlie is young.[(((triple5 triple3) -> rule1))] Dave is red.[(((triple6) -> rule6))]