Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is not rough. Charlie is round. Charlie is white. Erin is big. Erin is blue. Erin is not nice. Erin is round. Erin is white. Fiona is not big. Fiona is blue. Fiona is rough. Fiona is round. Fiona is not white. All nice things are big. White, big things are quiet.
Erin is rough.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2)] Charlie is not rough.[(triple4)] Charlie is quiet.[(triple3 OR ((triple6 ((triple2) -> rule1)) -> rule2))] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is not nice.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11)] Fiona is blue.[(triple13)] Fiona is not big.[(triple12)] Fiona is not white.[(triple16)] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] @1: Charlie is big.[(((triple2) -> rule1))] Erin is quiet.[(((triple11 triple7) -> rule2))]