Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is young. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is young. If Fiona is young and Fiona is nice then Fiona is kind. All green, nice people are rough. All quiet, nice people are green.
Gary is rough.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is rough.[(triple4)] Fiona is young.[(triple5)] Gary is green.[(triple6 OR ((triple9 triple8) -> rule3))] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] @1: Gary is rough.[(((triple6 triple8) -> rule2) OR ((((triple9 triple8) -> rule3) triple8) -> rule2))]