Anne is furry. Anne is red. Anne is round. Anne is not white. Bob is kind. Bob is quiet. Bob is white. Dave is quiet. Dave is round. Dave is white. Gary is furry. Gary is quiet. If something is furry and not red then it is white. Round, kind things are quiet. All round, quiet things are kind. Quiet, cold things are furry. If something is red then it is round. If something is kind and quiet then it is cold.
Dave is not cold.
@0: Anne is furry.[(triple1)] Anne is not white.[(triple4)] Anne is red.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule5))] Bob is kind.[(triple5)] Bob is quiet.[(triple6)] Bob is white.[(triple7)] Dave is quiet.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] Gary is furry.[(triple11)] Gary is quiet.[(triple12)] @1: Bob is cold.[(((triple5 triple6) -> rule6))] Dave is kind.[(((triple9 triple8) -> rule3))] @2: Bob is furry.[(((triple6 ((triple5 triple6) -> rule6)) -> rule4))] Dave is cold.[(((((triple9 triple8) -> rule3) triple8) -> rule6))] @3: Dave is furry.[(((triple8 ((((triple9 triple8) -> rule3) triple8) -> rule6)) -> rule4))]