Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is young. Round people are young. All nice, cold people are young. All furry, cold people are round. All nice people are round. If Charlie is not furry then Charlie is young. Young, furry people are green. All cold people are green. If someone is nice and not round then they are green.
Charlie is not furry.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple1) -> rule7) OR ((triple7 triple2) -> rule6) OR ((((triple6) -> rule1) triple2) -> rule6) OR ((((triple4 triple1) -> rule2) triple2) -> rule6) OR ((((((triple4) -> rule4)) -> rule1) triple2) -> rule6) OR ((((((triple2 triple1) -> rule3)) -> rule1) triple2) -> rule6))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is round.[(triple6 OR ((triple4) -> rule4) OR ((triple2 triple1) -> rule3))] Charlie is young.[(triple7 OR ((triple6) -> rule1) OR ((triple4 triple1) -> rule2) OR ((((triple4) -> rule4)) -> rule1) OR ((((triple2 triple1) -> rule3)) -> rule1))]