Anne is big. Anne is green. Anne is quiet. Anne is round. Fiona is red. Fiona is young. Gary is green. Gary is quiet. Gary is red. Gary is young. If Gary is round and Gary is red then Gary is young. If something is big then it is quiet. If something is quiet then it is big.
Fiona is not big.
@0: Anne is big.[(triple1 OR ((triple3) -> rule3))] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule2))] Anne is round.[(triple4)] Fiona is red.[(triple5)] Fiona is young.[(triple6)] Gary is green.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Gary is big.[(((triple8) -> rule3))]