Charlie is cold. Charlie is quiet. Dave is cold. Dave is smart. Fiona is not kind. Harry is not kind. Harry is young. If Fiona is cold and Fiona is young then Fiona is quiet. All red things are quiet. If something is smart and kind then it is young. If something is young and cold then it is red. If something is smart then it is red. If something is quiet then it is kind. If Dave is smart and Dave is not cold then Dave is kind. Young, smart things are white.
Dave is white.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Dave is cold.[(triple3)] Dave is smart.[(triple4)] Fiona is not kind.[(triple5)] Harry is not kind.[(triple6)] Harry is young.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule6))] Dave is red.[(((triple4) -> rule5))] @2: Dave is quiet.[(((((triple4) -> rule5)) -> rule2))] @3: Dave is kind.[(((((((triple4) -> rule5)) -> rule2)) -> rule6))] @4: Dave is young.[(((triple4 ((((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3))] @5: Dave is white.[(((((triple4 ((((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3) triple4) -> rule8))]