Charlie is blue. Charlie is rough. Charlie is not white. Dave is big. Dave is kind. Dave is round. Dave is white. Fiona is not big. Fiona is not blue. Fiona is kind. Fiona is round. Fiona is white. Gary is big. Gary is blue. Gary is quiet. All round, kind people are quiet. All quiet people are rough.
Gary is quiet.
@0: Charlie is blue.[(triple1)] Charlie is not white.[(triple3)] Charlie is rough.[(triple2)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)] Fiona is kind.[(triple10)] Fiona is not big.[(triple8)] Fiona is not blue.[(triple9)] Fiona is round.[(triple11)] Fiona is white.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is quiet.[(triple15)] @1: Dave is quiet.[(((triple6 triple5) -> rule1))] Fiona is quiet.[(((triple11 triple10) -> rule1))] Gary is rough.[(((triple15) -> rule2))] @2: Dave is rough.[(((((triple6 triple5) -> rule1)) -> rule2))] Fiona is rough.[(((((triple11 triple10) -> rule1)) -> rule2))]