Anne is big. Anne is furry. Anne is red. Anne is round. Anne is white. Charlie is furry. Charlie is nice. Charlie is red. Erin is big. Erin is cold. Erin is not furry. Erin is not nice. Erin is red. Erin is round. Erin is not white. Nice, big people are furry. If Charlie is cold and Charlie is big then Charlie is not red. All cold, furry people are nice. If someone is red and not furry then they are round. If someone is cold and not big then they are not round. Round, furry people are red.
Charlie is not nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple4 triple2) -> rule6))] Anne is round.[(triple4)] Anne is white.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Erin is big.[(triple9)] Erin is cold.[(triple10)] Erin is not furry.[(triple11)] Erin is not nice.[(triple12)] Erin is not white.[(triple15)] Erin is red.[(triple13)] Erin is round.[(triple14 OR ((triple13 triple11) -> rule4))]