Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is white. Charlie is cold. Charlie is nice. Dave is furry. Dave is nice. Dave is round. Harry is furry. Harry is not nice. Harry is not quiet. Harry is white. Quiet, rough things are white. Furry things are white. If something is nice then it is quiet. If Harry is nice and Harry is furry then Harry is round. Quiet things are furry. If Dave is furry and Dave is rough then Dave is round.
Charlie is furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple4) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple3) -> rule3))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple2) -> rule2) OR ((triple4 triple5) -> rule1) OR ((((triple4) -> rule5)) -> rule2) OR ((((triple3) -> rule3) triple5) -> rule1) OR ((((((triple3) -> rule3)) -> rule5)) -> rule2))] Charlie is cold.[(triple8)] Charlie is nice.[(triple9)] Dave is furry.[(triple10 OR ((((triple11) -> rule3)) -> rule5))] Dave is nice.[(triple11)] Dave is round.[(triple12)] Harry is furry.[(triple13)] Harry is not nice.[(triple14)] Harry is not quiet.[(triple15)] Harry is white.[(triple16 OR ((triple13) -> rule2))] @1: Charlie is quiet.[(((triple9) -> rule3))] Dave is quiet.[(((triple11) -> rule3))] Dave is white.[(((triple10) -> rule2) OR ((((((triple11) -> rule3)) -> rule5)) -> rule2))] @2: Charlie is furry.[(((((triple9) -> rule3)) -> rule5))] @3: Charlie is white.[(((((((triple9) -> rule3)) -> rule5)) -> rule2))]