Anne is blue. Charlie is nice. Erin is blue. Erin is green. Harry is big. Harry is green. Harry is nice. If Charlie is green and Charlie is blue then Charlie is quiet. All nice things are quiet. Cold things are big. All round, quiet things are cold. If something is round and quiet then it is nice. If something is blue and nice then it is big. All cold things are green. All quiet things are nice.
Harry is not green.
@0: Anne is blue.[(triple1)] Charlie is nice.[(triple2)] Erin is blue.[(triple3)] Erin is green.[(triple4)] Harry is big.[(triple5)] Harry is green.[(triple6)] Harry is nice.[(triple7)] @1: Charlie is quiet.[(((triple2) -> rule2))] Harry is quiet.[(((triple7) -> rule2))]