Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is not rough. Gary is nice. Gary is quiet. Gary is smart. Harry is cold. Harry is not nice. Harry is round. Quiet people are round. If Gary is round then Gary is green. If Gary is nice and Gary is not round then Gary is not green. If someone is green and not round then they are rough. All nice people are not rough. Rough, quiet people are green.
Fiona is not green.
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is not rough.[(triple4 OR ((triple2) -> rule5))] Fiona is quiet.[(triple3)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is smart.[(triple7)] Harry is cold.[(triple8)] Harry is not nice.[(triple9)] Harry is round.[(triple10)] @1: Fiona is round.[(((triple3) -> rule1))] Gary is not rough.[(((triple5) -> rule5))] Gary is round.[(((triple6) -> rule1))] @2: Gary is green.[(((((triple6) -> rule1)) -> rule2))]