Anne is rough. Anne is round. Anne is white. Dave is round. Dave is white. Fiona is quiet. Fiona is round. Gary is big. Gary is rough. Gary is white. All kind, round people are quiet. All round, big people are quiet. All green, big people are round. Big people are white. If someone is white and green then they are big. If Anne is round and Anne is quiet then Anne is green. If Dave is rough then Dave is kind. Green people are big.
Gary is white.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] Gary is big.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10 OR ((triple8) -> rule4))]