Anne is round. Dave is quiet. Fiona is big. Fiona is green. Fiona is quiet. Gary is big. Gary is young. All quiet, furry people are round. If Fiona is quiet and Fiona is green then Fiona is big.
Fiona is not big.
@0: Anne is round.[(triple1)] Dave is quiet.[(triple2)] Fiona is big.[(triple3 OR ((triple5 triple4) -> rule2))] Fiona is green.[(triple4)] Fiona is quiet.[(triple5)] Gary is big.[(triple6)] Gary is young.[(triple7)]