Dave is furry. Dave is red. Dave is not young. Erin is quiet. Erin is white. Erin is young. Gary is not quiet. Gary is red. Harry is rough. Harry is young. All red, white people are kind. Furry, rough people are kind. If Dave is red then Dave is white. All young people are red. If Harry is young and Harry is white then Harry is rough. If someone is furry then they are rough. All furry, kind people are quiet. If someone is white and not red then they are quiet.
Dave is not rough.
@0: Dave is furry.[(triple1)] Dave is not young.[(triple3)] Dave is red.[(triple2)] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Erin is young.[(triple6)] Gary is not quiet.[(triple7)] Gary is red.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Dave is rough.[(((triple1) -> rule6))] Dave is white.[(((triple2) -> rule3))] Erin is red.[(((triple6) -> rule4))] Harry is red.[(((triple10) -> rule4))] @2: Dave is kind.[(((triple1 ((triple1) -> rule6)) -> rule2) OR ((triple2 ((triple2) -> rule3)) -> rule1))] Erin is kind.[(((((triple6) -> rule4) triple5) -> rule1))] @3: Dave is quiet.[(((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((triple1 ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7))]