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