Bob is cold. Bob is smart. Bob is white. Bob is young. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is smart. Charlie is white. Dave is quiet. Dave is white. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is smart. Fiona is young. If something is cold then it is quiet. If Charlie is cold then Charlie is blue. All cold, young things are furry. If Bob is furry then Bob is white. If something is young then it is smart. White things are smart. All furry things are white. If something is white and quiet then it is blue.
Dave is not furry.
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2 OR ((triple3) -> rule6) OR ((triple4) -> rule5) OR ((((((triple1 triple4) -> rule3)) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule3)) -> rule7)) -> rule6))] Bob is white.[(triple3 OR ((((triple1 triple4) -> rule3)) -> rule4) OR ((((triple1 triple4) -> rule3)) -> rule7))] Bob is young.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is quiet.[(triple7 OR ((triple5) -> rule1))] Charlie is smart.[(triple8 OR ((triple9) -> rule6) OR ((((triple6) -> rule7)) -> rule6))] Charlie is white.[(triple9 OR ((triple6) -> rule7))] Dave is quiet.[(triple10)] Dave is white.[(triple11)] Fiona is blue.[(triple12 OR ((((((triple13 triple16) -> rule3)) -> rule7) triple14) -> rule8) OR ((((((triple13 triple16) -> rule3)) -> rule7) ((triple13) -> rule1)) -> rule8))] Fiona is cold.[(triple13)] Fiona is quiet.[(triple14 OR ((triple13) -> rule1))] Fiona is smart.[(triple15 OR ((triple16) -> rule5) OR ((((((triple13 triple16) -> rule3)) -> rule7)) -> rule6))] Fiona is young.[(triple16)] @1: Bob is furry.[(((triple1 triple4) -> rule3))] Bob is quiet.[(((triple1) -> rule1))] Charlie is blue.[(((triple5) -> rule2) OR ((triple9 triple7) -> rule8) OR ((triple9 ((triple5) -> rule1)) -> rule8) OR ((((triple6) -> rule7) triple7) -> rule8) OR ((((triple6) -> rule7) ((triple5) -> rule1)) -> rule8))] Dave is blue.[(((triple11 triple10) -> rule8))] Dave is smart.[(((triple11) -> rule6))] Fiona is furry.[(((triple13 triple16) -> rule3))] @2: Bob is blue.[(((triple3 ((triple1) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule3)) -> rule7) ((triple1) -> rule1)) -> rule8))] Fiona is white.[(((((triple13 triple16) -> rule3)) -> rule7))]