Fiona is cold. Fiona is green. Fiona is not quiet. Fiona is not round. Fiona is smart. Fiona is white. Fiona is young. Harry is cold. Harry is green. Harry is quiet. Harry is round. Harry is smart. Harry is not white. Harry is young. If something is white and not cold then it is quiet. If something is cold and green then it is young. White things are smart. If something is white and not green then it is smart. If something is cold and not young then it is round. If Fiona is round then Fiona is quiet.
Fiona is smart.
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple2)] Fiona is not quiet.[(triple3)] Fiona is not round.[(triple4)] Fiona is smart.[(triple5 OR ((triple6) -> rule3))] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple1 triple2) -> rule2))] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is not white.[(triple13)] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] Harry is young.[(triple14 OR ((triple8 triple9) -> rule2))]