Anne is blue. Anne is cold. Anne is not green. Bob is blue. Bob is cold. Bob is quiet. Fiona is not big. Big things are quiet. If Bob is quiet then Bob is not red. If something is big then it is cold. Big, cold things are green. All quiet things are big. If Anne is kind then Anne is red. If something is big and not cold then it is not red. If something is big and not green then it is kind.
Fiona is red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not green.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5 OR ((((triple6) -> rule5)) -> rule3))] Bob is quiet.[(triple6)] Fiona is not big.[(triple7)] @1: Bob is big.[(((triple6) -> rule5))] Bob is not red.[(((triple6) -> rule2))] @2: Bob is green.[(((((triple6) -> rule5) triple5) -> rule4) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule4))]