Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Gary is cold. Gary is nice. Harry is quiet. Harry is round. Harry is smart. If someone is round then they are cold. Cold, round people are kind. If someone is kind then they are nice.
Harry is not nice.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Dave is cold.[(triple5 OR ((triple10) -> rule1))] Dave is furry.[(triple6)] Dave is kind.[(triple7 OR ((triple5 triple10) -> rule2) OR ((((triple10) -> rule1) triple10) -> rule2))] Dave is nice.[(triple8 OR ((triple7) -> rule3) OR ((((triple5 triple10) -> rule2)) -> rule3) OR ((((((triple10) -> rule1) triple10) -> rule2)) -> rule3))] Dave is quiet.[(triple9)] Dave is round.[(triple10)] Dave is smart.[(triple11)] Gary is cold.[(triple12)] Gary is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Harry is cold.[(((triple15) -> rule1))] @2: Harry is kind.[(((((triple15) -> rule1) triple15) -> rule2))] @3: Harry is nice.[(((((((triple15) -> rule1) triple15) -> rule2)) -> rule3))]