Fiona is nice. Fiona is quiet. Fiona is young. Gary is big. Gary is kind. Gary is nice. Gary is quiet. If something is young then it is big. If Fiona is quiet then Fiona is young. If Gary is big then Gary is quiet. If something is round then it is green. Kind, green things are round. All green things are big.
Fiona is not young.
@0: Fiona is nice.[(triple1)] Fiona is quiet.[(triple2)] Fiona is young.[(triple3 OR ((triple2) -> rule2))] Gary is big.[(triple4)] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7 OR ((triple4) -> rule3))] @1: Fiona is big.[(((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1))]