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