Charlie is quiet. Dave is blue. Dave is cold. Dave is quiet. Dave is white. Fiona is cold. Fiona is kind. Fiona is red. Fiona is white. Harry is cold. Harry is kind. Harry is white. Blue things are green. If something is green then it is red. All green, white things are red. All white things are green. If something is green then it is red. Green things are red. Red, cold things are white. If Dave is quiet and Dave is red then Dave is kind.
Fiona is blue.
@0: Charlie is quiet.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Dave is white.[(triple5 OR ((((((triple2) -> rule1)) -> rule2) triple3) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) triple3) -> rule7) OR ((((((triple2) -> rule1)) -> rule6) triple3) -> rule7))] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8 OR ((((triple9) -> rule4)) -> rule2) OR ((((triple9) -> rule4)) -> rule5) OR ((((triple9) -> rule4)) -> rule6) OR ((((triple9) -> rule4) triple9) -> rule3))] Fiona is white.[(triple9 OR ((triple8 triple6) -> rule7))] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is white.[(triple12)] @1: Dave is green.[(((triple2) -> rule1) OR ((triple5) -> rule4))] Fiona is green.[(((triple9) -> rule4) OR ((((triple8 triple6) -> rule7)) -> rule4))] Harry is green.[(((triple12) -> rule4))] @2: Dave is red.[(((((triple2) -> rule1)) -> rule2) OR ((((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule4)) -> rule5) OR ((((triple5) -> rule4)) -> rule6) OR ((((triple2) -> rule1) triple5) -> rule3) OR ((((triple5) -> rule4) triple5) -> rule3))] Harry is red.[(((((triple12) -> rule4)) -> rule2) OR ((((triple12) -> rule4)) -> rule5) OR ((((triple12) -> rule4)) -> rule6) OR ((((triple12) -> rule4) triple12) -> rule3))] @3: Dave is kind.[(((triple4 ((((triple2) -> rule1)) -> rule2)) -> rule8) OR ((triple4 ((((triple2) -> rule1)) -> rule5)) -> rule8) OR ((triple4 ((((triple2) -> rule1)) -> rule6)) -> rule8) OR ((triple4 ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((triple4 ((((triple5) -> rule4)) -> rule5)) -> rule8) OR ((triple4 ((((triple5) -> rule4)) -> rule6)) -> rule8) OR ((triple4 ((((triple2) -> rule1) triple5) -> rule3)) -> rule8) OR ((triple4 ((((triple5) -> rule4) triple5) -> rule3)) -> rule8))]