Anne is big. Anne is cold. Anne is green. Anne is quiet. Anne is smart. Anne is not white. Fiona is big. Fiona is quiet. Fiona is smart. Gary is blue. Gary is cold. Gary is not green. Gary is not smart. Harry is blue. Harry is quiet. Harry is white. If something is white and not big then it is blue. If something is big then it is green. If Anne is not white then Anne is smart. If Harry is big then Harry is not white. If Fiona is not smart then Fiona is blue. If something is green and not blue then it is quiet. Blue things are quiet. If something is big and not smart then it is quiet.
Harry is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple1) -> rule2))] Anne is not white.[(triple6)] Anne is quiet.[(triple4)] Anne is smart.[(triple5 OR ((triple6) -> rule3))] Fiona is big.[(triple7)] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is not green.[(triple12)] Gary is not smart.[(triple13)] Harry is blue.[(triple14)] Harry is quiet.[(triple15 OR ((triple14) -> rule7))] Harry is white.[(triple16)] @1: Fiona is green.[(((triple7) -> rule2))] Gary is quiet.[(((triple10) -> rule7))]