Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is not round. Charlie is young. If something is furry then it is kind. Kind, furry things are cold. If something is green and kind then it is not round. If something is furry then it is not round. If Charlie is green then Charlie is not round. All furry, young things are quiet. If something is young and round then it is not quiet. Cold things are quiet.
Charlie is quiet.
@0: Charlie is cold.[(triple1 OR ((triple4 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple2) -> rule1))] Charlie is not round.[(triple6 OR ((triple2) -> rule4) OR ((triple3) -> rule5) OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple2) -> rule1)) -> rule3))] Charlie is quiet.[(triple5 OR ((triple1) -> rule8) OR ((triple2 triple7) -> rule6) OR ((((triple4 triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule1) triple2) -> rule2)) -> rule8))] Charlie is young.[(triple7)]