Anne is not cold. Anne is red. Bob is big. Bob is nice. Bob is quiet. Bob is red. Bob is not rough. Bob is round. Charlie is not nice. Charlie is quiet. Charlie is not red. Charlie is not round. Erin is cold. Erin is nice. Erin is round. Quiet, red things are nice. If Erin is not cold then Erin is not round. All nice, rough things are big.
Charlie is not quiet.
@0: Anne is not cold.[(triple1)] Anne is red.[(triple2)] Bob is big.[(triple3)] Bob is nice.[(triple4 OR ((triple5 triple6) -> rule1))] Bob is not rough.[(triple7)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is round.[(triple8)] Charlie is not nice.[(triple9)] Charlie is not red.[(triple11)] Charlie is not round.[(triple12)] Charlie is quiet.[(triple10)] Erin is cold.[(triple13)] Erin is nice.[(triple14)] Erin is round.[(triple15)]