Anne is furry. Anne is kind. Anne is quiet. Anne is red. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Erin is furry. Erin is quiet. Erin is red. Harry is quiet. Harry is red. Harry is round. Round things are quiet.
Harry is not red.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Charlie is big.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7 OR ((triple9) -> rule1))] Charlie is red.[(triple8)] Charlie is round.[(triple9)] Erin is furry.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Harry is quiet.[(triple13 OR ((triple15) -> rule1))] Harry is red.[(triple14)] Harry is round.[(triple15)]