Charlie is big. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is white. Erin is big. Erin is blue. Erin is kind. Erin is quiet. Erin is rough. Erin is white. Fiona is blue. Fiona is furry. Fiona is quiet. Harry is big. If Erin is quiet then Erin is white.
Harry is not blue.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Erin is rough.[(triple10)] Erin is white.[(triple11 OR ((triple9) -> rule1))] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is quiet.[(triple14)] Harry is big.[(triple15)]