Erin is green. Fiona is big. Fiona is green. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Harry is big. Harry is not green. Harry is kind. Harry is nice. Harry is quiet. Harry is not rough. Harry is young. Kind, green people are not young. All young people are not green. If someone is green then they are quiet. If someone is green and not rough then they are not kind. If someone is big and not quiet then they are not nice. If someone is green and not rough then they are nice.
Fiona is not nice.
@0: Erin is green.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple3)] Gary is big.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8 OR ((triple5) -> rule3))] Harry is big.[(triple9)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] Harry is not green.[(triple10 OR ((triple15) -> rule2))] Harry is not rough.[(triple14)] Harry is quiet.[(triple13)] Harry is young.[(triple15)] @1: Erin is quiet.[(((triple1) -> rule3))] Fiona is quiet.[(((triple3) -> rule3))] Gary is not young.[(((triple6 triple5) -> rule1))]