Anne is furry. Bob is cold. Bob is kind. Bob is rough. Dave is rough. Erin is kind. Erin is white. Nice things are cold. All nice things are kind. All furry things are white. If something is furry then it is nice. Rough, cold things are young. Kind things are rough.
Dave is not kind.
@0: Anne is furry.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule6))] Dave is rough.[(triple5)] Erin is kind.[(triple6)] Erin is white.[(triple7)] @1: Anne is nice.[(((triple1) -> rule4))] Anne is white.[(((triple1) -> rule3))] Bob is young.[(((triple4 triple2) -> rule5) OR ((((triple3) -> rule6) triple2) -> rule5))] Erin is rough.[(((triple6) -> rule6))] @2: Anne is cold.[(((((triple1) -> rule4)) -> rule1))] Anne is kind.[(((((triple1) -> rule4)) -> rule2))] @3: Anne is rough.[(((((((triple1) -> rule4)) -> rule2)) -> rule6))] @4: Anne is young.[(((((((((triple1) -> rule4)) -> rule2)) -> rule6) ((((triple1) -> rule4)) -> rule1)) -> rule5))]