Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is round. All green, furry things are cold. All nice things are quiet. If something is red then it is furry.
Charlie is not furry.
@0: Charlie is cold.[(triple1 OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple6) -> rule3)) -> rule1))] Charlie is furry.[(triple2 OR ((triple6) -> rule3))] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple4) -> rule2))] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Erin is cold.[(triple8 OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple13) -> rule3)) -> rule1))] Erin is furry.[(triple9 OR ((triple13) -> rule3))] Erin is green.[(triple10)] Erin is nice.[(triple11)] Erin is quiet.[(triple12 OR ((triple11) -> rule2))] Erin is red.[(triple13)] Erin is round.[(triple14)]