Charlie is not big. Charlie is kind. Charlie is not quiet. Charlie is round. Charlie is smart. Erin is not furry. Erin is kind. Erin is white. Fiona is furry. Fiona is kind. Fiona is round. Fiona is smart. Harry is big. Harry is quiet. Harry is round. Harry is white. Smart, quiet people are big. If Harry is big and Harry is not furry then Harry is not round. Furry, smart people are round.
Harry is kind.
@0: Charlie is kind.[(triple2)] Charlie is not big.[(triple1)] Charlie is not quiet.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Erin is kind.[(triple7)] Erin is not furry.[(triple6)] Erin is white.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is round.[(triple11 OR ((triple9 triple12) -> rule3))] Fiona is smart.[(triple12)] Harry is big.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)]