Charlie is cold. Charlie is smart. Fiona is cold. Fiona is round. Fiona is not smart. Gary is nice. Harry is quiet. If Fiona is not green then Fiona is cold. If someone is cold and not smart then they are not quiet. Smart people are not quiet. If Fiona is not rough then Fiona is quiet. If someone is quiet and not smart then they are nice. If someone is rough and not smart then they are nice. If someone is smart and not rough then they are nice. If someone is quiet and not smart then they are round.
Fiona is not smart.
@0: Charlie is cold.[(triple1)] Charlie is smart.[(triple2)] Fiona is cold.[(triple3)] Fiona is not smart.[(triple5)] Fiona is round.[(triple4)] Gary is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Charlie is not quiet.[(((triple2) -> rule3))] Fiona is not quiet.[(((triple3 triple5) -> rule2))]