Anne is big. Anne is white. Fiona is big. Fiona is not green. Fiona is smart. Gary is cold. Gary is quiet. Gary is not smart. Harry is big. Harry is cold. Harry is green. Harry is quiet. Harry is not smart. Harry is not white. Harry is young. If Anne is not big then Anne is quiet. If someone is green and not white then they are quiet.
Fiona is not quiet.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Fiona is big.[(triple3)] Fiona is not green.[(triple4)] Fiona is smart.[(triple5)] Gary is cold.[(triple6)] Gary is not smart.[(triple8)] Gary is quiet.[(triple7)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is not smart.[(triple13)] Harry is not white.[(triple14)] Harry is quiet.[(triple12 OR ((triple11 triple14) -> rule2))] Harry is young.[(triple15)]