Bob is blue. Bob is not furry. Bob is quiet. Bob is round. Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is young. Gary is not blue. Gary is furry. Gary is not nice. Gary is round. Harry is not red. Harry is round. If someone is furry then they are round. If someone is red then they are furry. If Harry is blue then Harry is young. If someone is round and not nice then they are quiet. If someone is round then they are young. If someone is quiet then they are young. If someone is quiet and not furry then they are young. Red, blue people are not young.
Harry is not young.
@0: Bob is blue.[(triple1)] Bob is not furry.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Dave is furry.[(triple6 OR ((triple9) -> rule2))] Dave is nice.[(triple7)] Dave is not blue.[(triple5)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is young.[(triple10 OR ((triple8) -> rule6) OR ((((triple6) -> rule1)) -> rule5) OR ((((((triple9) -> rule2)) -> rule1)) -> rule5))] Gary is furry.[(triple12)] Gary is not blue.[(triple11)] Gary is not nice.[(triple13)] Gary is round.[(triple14 OR ((triple12) -> rule1))] Harry is not red.[(triple15)] Harry is round.[(triple16)] @1: Bob is young.[(((triple3) -> rule6) OR ((triple4) -> rule5) OR ((triple3 triple2) -> rule7))] Dave is round.[(((triple6) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] Gary is quiet.[(((triple14 triple13) -> rule4) OR ((((triple12) -> rule1) triple13) -> rule4))] Gary is young.[(((triple14) -> rule5) OR ((((triple12) -> rule1)) -> rule5) OR ((((triple14 triple13) -> rule4)) -> rule6) OR ((((((triple12) -> rule1) triple13) -> rule4)) -> rule6))] Harry is young.[(((triple16) -> rule5))]