Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Furry, smart people are green. If someone is big and cold then they are green. All smart, furry people are cold.
Charlie is not red.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple7 triple3) -> rule3))] Charlie is furry.[(triple3)] Charlie is green.[(triple4 OR ((triple1 triple2) -> rule2) OR ((triple3 triple7) -> rule1) OR ((triple1 ((triple7 triple3) -> rule3)) -> rule2))] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7)]