Anne is big. Anne is blue. Anne is nice. Anne is quiet. Anne is smart. Anne is white. Anne is young. Fiona is big. Fiona is not quiet. Fiona is not young. Harry is big. Harry is blue. Harry is nice. Harry is smart. Harry is white. Harry is young. If Harry is smart then Harry is quiet. All quiet people are smart. If someone is blue and not quiet then they are white. If someone is white and not smart then they are not blue. Young, white people are big. If someone is nice and not young then they are not big.
Harry is not quiet.
@0: Anne is big.[(triple1 OR ((triple7 triple6) -> rule5))] Anne is blue.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5 OR ((triple4) -> rule2))] Anne is white.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is not young.[(triple10)] Harry is big.[(triple11 OR ((triple16 triple15) -> rule5))] Harry is blue.[(triple12)] Harry is nice.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Harry is quiet.[(((triple14) -> rule1))]