Charlie is not blue. Charlie is round. Dave is blue. Dave is smart. Gary is smart. Gary is white. Harry is round. If someone is round and smart then they are quiet. Quiet people are round. If someone is nice then they are red. If Harry is smart then Harry is blue. If someone is round then they are nice. If someone is white then they are nice. All red, round people are smart. Quiet, smart people are not white.
Harry is blue.
@0: Charlie is not blue.[(triple1)] Charlie is round.[(triple2)] Dave is blue.[(triple3)] Dave is smart.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Harry is round.[(triple7)] @1: Charlie is nice.[(((triple2) -> rule5))] Gary is nice.[(((triple6) -> rule6))] Harry is nice.[(((triple7) -> rule5))] @2: Charlie is red.[(((((triple2) -> rule5)) -> rule3))] Gary is red.[(((((triple6) -> rule6)) -> rule3))] Harry is red.[(((((triple7) -> rule5)) -> rule3))] @3: Charlie is smart.[(((((((triple2) -> rule5)) -> rule3) triple2) -> rule7))] Harry is smart.[(((((((triple7) -> rule5)) -> rule3) triple7) -> rule7))] @4: Charlie is quiet.[(((triple2 ((((((triple2) -> rule5)) -> rule3) triple2) -> rule7)) -> rule1))] Harry is blue.[(((((((((triple7) -> rule5)) -> rule3) triple7) -> rule7)) -> rule4))] Harry is quiet.[(((triple7 ((((((triple7) -> rule5)) -> rule3) triple7) -> rule7)) -> rule1))] @5: Charlie is not white.[(((((triple2 ((((((triple2) -> rule5)) -> rule3) triple2) -> rule7)) -> rule1) ((((((triple2) -> rule5)) -> rule3) triple2) -> rule7)) -> rule8))] Harry is not white.[(((((triple7 ((((((triple7) -> rule5)) -> rule3) triple7) -> rule7)) -> rule1) ((((((triple7) -> rule5)) -> rule3) triple7) -> rule7)) -> rule8))]