Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. All smart, kind things are green. Green, furry things are smart. If Charlie is red and Charlie is nice then Charlie is smart. If something is green and smart then it is cold. Nice things are green. All nice, furry things are cold.
Charlie is not green.
@0: Charlie is cold.[(triple1 OR ((triple3 triple7) -> rule4) OR ((triple5 triple2) -> rule6) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule4) OR ((triple3 ((triple6 triple5) -> rule3)) -> rule4) OR ((((triple5) -> rule5) triple7) -> rule4) OR ((((triple7 triple4) -> rule1) triple7) -> rule4) OR ((((triple5) -> rule5) ((triple3 triple2) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((triple6 triple5) -> rule3)) -> rule4) OR ((((triple7 triple4) -> rule1) ((triple3 triple2) -> rule2)) -> rule4) OR ((((triple7 triple4) -> rule1) ((triple6 triple5) -> rule3)) -> rule4) OR ((triple3 ((((triple5) -> rule5) triple2) -> rule2)) -> rule4) OR ((((((triple6 triple5) -> rule3) triple4) -> rule1) triple7) -> rule4) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple7 triple4) -> rule1) ((((triple5) -> rule5) triple2) -> rule2)) -> rule4) OR ((((((triple6 triple5) -> rule3) triple4) -> rule1) ((triple3 triple2) -> rule2)) -> rule4) OR ((((((triple6 triple5) -> rule3) triple4) -> rule1) ((triple6 triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule3) triple4) -> rule1) ((((triple5) -> rule5) triple2) -> rule2)) -> rule4))] Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple5) -> rule5) OR ((triple7 triple4) -> rule1) OR ((((triple6 triple5) -> rule3) triple4) -> rule1))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7 OR ((triple3 triple2) -> rule2) OR ((triple6 triple5) -> rule3) OR ((((triple5) -> rule5) triple2) -> rule2))]