Bob is not furry. Bob is quiet. Charlie is furry. Charlie is kind. Dave is green. Dave is kind. Dave is round. Dave is white. Dave is young. Gary is furry. Gary is green. If something is white then it is not quiet. All young, green things are round. All green, white things are kind. If something is young and not furry then it is kind. All round, green things are kind. If Charlie is white then Charlie is green. Kind, green things are white. All furry things are young. If Dave is quiet and Dave is furry then Dave is not kind.
Charlie is not quiet.
@0: Bob is not furry.[(triple1)] Bob is quiet.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6 OR ((triple5 triple8) -> rule3) OR ((triple7 triple5) -> rule5) OR ((((triple9 triple5) -> rule2) triple5) -> rule5))] Dave is round.[(triple7 OR ((triple9 triple5) -> rule2))] Dave is white.[(triple8 OR ((triple6 triple5) -> rule7) OR ((((triple7 triple5) -> rule5) triple5) -> rule7) OR ((((((triple9 triple5) -> rule2) triple5) -> rule5) triple5) -> rule7))] Dave is young.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] @1: Charlie is young.[(((triple3) -> rule8))] Dave is not quiet.[(((triple8) -> rule1) OR ((((triple6 triple5) -> rule7)) -> rule1) OR ((((((triple7 triple5) -> rule5) triple5) -> rule7)) -> rule1) OR ((((((((triple9 triple5) -> rule2) triple5) -> rule5) triple5) -> rule7)) -> rule1))] Gary is young.[(((triple10) -> rule8))] @2: Gary is round.[(((((triple10) -> rule8) triple11) -> rule2))] @3: Gary is kind.[(((((((triple10) -> rule8) triple11) -> rule2) triple11) -> rule5))] @4: Gary is white.[(((((((((triple10) -> rule8) triple11) -> rule2) triple11) -> rule5) triple11) -> rule7))] @5: Gary is not quiet.[(((((((((((triple10) -> rule8) triple11) -> rule2) triple11) -> rule5) triple11) -> rule7)) -> rule1))]