Dave is quiet. Dave is rough. Erin is not quiet. Erin is red. Erin is rough. Gary is not kind. Gary is not rough. Gary is not young. Harry is quiet. Harry is not young. If Dave is quiet then Dave is kind. If something is quiet and not young then it is not white. If Harry is quiet then Harry is kind. If Dave is red then Dave is quiet. If Dave is kind and Dave is white then Dave is rough. If something is young and big then it is rough. White, rough things are big. If Gary is not white then Gary is big.
Erin is kind.
@0: Dave is quiet.[(triple1)] Dave is rough.[(triple2)] Erin is not quiet.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Gary is not kind.[(triple6)] Gary is not rough.[(triple7)] Gary is not young.[(triple8)] Harry is not young.[(triple10)] Harry is quiet.[(triple9)] @1: Dave is kind.[(((triple1) -> rule1))] Harry is kind.[(((triple9) -> rule3))] Harry is not white.[(((triple9 triple10) -> rule2))]