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