Anne is green. Anne is kind. Dave is cold. Dave is green. Dave is smart. Harry is kind. Harry is young. If Anne is smart then Anne is green. All green, round things are kind. If something is nice then it is green. If something is nice and round then it is kind. All nice things are kind. All smart things are young. If something is young and cold then it is nice. Kind, nice things are cold.
Harry is young.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4 OR ((((((triple5) -> rule6) triple3) -> rule7)) -> rule3))] Dave is smart.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Dave is young.[(((triple5) -> rule6))] @2: Dave is nice.[(((((triple5) -> rule6) triple3) -> rule7))] @3: Dave is kind.[(((((((triple5) -> rule6) triple3) -> rule7)) -> rule5))]