Anne is big. Anne is green. Anne is quiet. Anne is not rough. Anne is round. Anne is white. Fiona is big. Fiona is nice. Gary is big. Gary is not quiet. Gary is rough. Gary is white. If Fiona is not quiet then Fiona is not round. White people are big.
Anne is not big.
@0: Anne is big.[(triple1 OR ((triple6) -> rule2))] Anne is green.[(triple2)] Anne is not rough.[(triple4)] Anne is quiet.[(triple3)] Anne is round.[(triple5)] Anne is white.[(triple6)] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Gary is big.[(triple9 OR ((triple12) -> rule2))] Gary is not quiet.[(triple10)] Gary is rough.[(triple11)] Gary is white.[(triple12)]