Anne is green. Anne is quiet. Anne is rough. Fiona is blue. Fiona is green. Fiona is rough. Gary is big. Harry is big. Harry is not blue. Harry is red. All big things are quiet. If something is quiet then it is green.
Harry is green.
@0: Anne is green.[(triple1 OR ((triple2) -> rule2))] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is rough.[(triple6)] Gary is big.[(triple7)] Harry is big.[(triple8)] Harry is not blue.[(triple9)] Harry is red.[(triple10)] @1: Gary is quiet.[(((triple7) -> rule1))] Harry is quiet.[(((triple8) -> rule1))] @2: Gary is green.[(((((triple7) -> rule1)) -> rule2))] Harry is green.[(((((triple8) -> rule1)) -> rule2))]