Charlie is quiet. Erin is quiet. Erin is rough. Erin is round. Erin is white. Fiona is not rough. Fiona is round. Gary is green. Gary is quiet. Gary is not white. Quiet things are rough. All cold things are not quiet. If Charlie is round and Charlie is not cold then Charlie is not rough. If Erin is rough and Erin is white then Erin is round. If Fiona is green and Fiona is not quiet then Fiona is not white. All green, white things are not big.
Erin is not white.
@0: Charlie is quiet.[(triple1)] Erin is quiet.[(triple2)] Erin is rough.[(triple3 OR ((triple2) -> rule1))] Erin is round.[(triple4 OR ((triple3 triple5) -> rule4) OR ((((triple2) -> rule1) triple5) -> rule4))] Erin is white.[(triple5)] Fiona is not rough.[(triple6)] Fiona is round.[(triple7)] Gary is green.[(triple8)] Gary is not white.[(triple10)] Gary is quiet.[(triple9)] @1: Charlie is rough.[(((triple1) -> rule1))] Gary is rough.[(((triple9) -> rule1))]