Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is white. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is smart. Dave is white. All round, kind things are green. If something is furry and smart then it is white. If something is smart and green then it is round. Smart, furry things are red. All kind, round things are white. All white, red things are kind.
Charlie is not red.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple6 triple4) -> rule6)) -> rule1))] Charlie is kind.[(triple3 OR ((triple6 triple4) -> rule6))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple3 triple5) -> rule5))] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9 OR ((triple12 triple10) -> rule6) OR ((triple12 ((triple11 triple7) -> rule4)) -> rule6) OR ((((triple7 triple11) -> rule2) triple10) -> rule6) OR ((((triple7 triple11) -> rule2) ((triple11 triple7) -> rule4)) -> rule6))] Dave is red.[(triple10 OR ((triple11 triple7) -> rule4))] Dave is smart.[(triple11)] Dave is white.[(triple12 OR ((triple7 triple11) -> rule2) OR ((triple9 ((triple11 triple8) -> rule3)) -> rule5))] @1: Dave is round.[(((triple11 triple8) -> rule3))]