Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Anne is white. Bob is kind. Bob is smart. Bob is white. Dave is quiet. Dave is rough. Dave is white. Harry is kind. Harry is quiet. Harry is not smart. Harry is white. If someone is rough then they are smart. If someone is kind and cold then they are smart. Rough, round people are kind. If someone is white and not rough then they are kind. White people are quiet. All quiet, smart people are not cold.
Harry is rough.
@0: Anne is kind.[(triple1 OR ((triple3 triple4) -> rule3))] Anne is quiet.[(triple2 OR ((triple6) -> rule5))] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple3) -> rule1))] Anne is white.[(triple6)] Bob is kind.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Dave is quiet.[(triple10 OR ((triple12) -> rule5))] Dave is rough.[(triple11)] Dave is white.[(triple12)] Harry is kind.[(triple13)] Harry is not smart.[(triple15)] Harry is quiet.[(triple14 OR ((triple16) -> rule5))] Harry is white.[(triple16)] @1: Anne is not cold.[(((triple2 triple5) -> rule6) OR ((triple2 ((triple3) -> rule1)) -> rule6) OR ((((triple6) -> rule5) triple5) -> rule6) OR ((((triple6) -> rule5) ((triple3) -> rule1)) -> rule6))] Bob is quiet.[(((triple9) -> rule5))] Dave is smart.[(((triple11) -> rule1))] @2: Bob is not cold.[(((((triple9) -> rule5) triple8) -> rule6))] Dave is not cold.[(((triple10 ((triple11) -> rule1)) -> rule6) OR ((((triple12) -> rule5) ((triple11) -> rule1)) -> rule6))]