Anne is not kind. Charlie is cold. Fiona is kind. Harry is blue. If Anne is blue then Anne is not kind. If someone is cold then they are kind. If Fiona is smart then Fiona is red. If Fiona is quiet then Fiona is not red. Kind people are red. Green people are blue. All red people are not blue. If Charlie is kind then Charlie is quiet.
Harry is red.
@0: Anne is not kind.[(triple1)] Charlie is cold.[(triple2)] Fiona is kind.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule2))] Fiona is red.[(((triple3) -> rule5))] @2: Charlie is quiet.[(((((triple2) -> rule2)) -> rule8))] Charlie is red.[(((((triple2) -> rule2)) -> rule5))] Fiona is not blue.[(((((triple3) -> rule5)) -> rule7))] @3: Charlie is not blue.[(((((((triple2) -> rule2)) -> rule5)) -> rule7))]