Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. All green, furry things are white. All kind, cold things are red. All green things are kind.
Charlie is red.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple3) -> rule3))] Charlie is red.[(triple5 OR ((triple4 triple1) -> rule2) OR ((((triple3) -> rule3) triple1) -> rule2))] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple3 triple2) -> rule1))]