Charlie is furry. Charlie is quiet. Charlie is young. Dave is big. Dave is quiet. Dave is round. Dave is young. Quiet things are kind. All big, furry things are quiet. All round things are not smart. If something is quiet and not kind then it is smart. All furry, round things are not smart. If something is big and not quiet then it is not round. If something is young and big then it is round. Big things are round.
Charlie is not round.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3)] Dave is big.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6 OR ((triple4) -> rule8) OR ((triple7 triple4) -> rule7))] Dave is young.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule1))] Dave is kind.[(((triple5) -> rule1))] Dave is not smart.[(((triple6) -> rule3) OR ((((triple4) -> rule8)) -> rule3) OR ((((triple7 triple4) -> rule7)) -> rule3))]