Bob is furry. Dave is quiet. Erin is big. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is white. Gary is round. Gary is white. If something is furry and round then it is green. If something is quiet and furry then it is big. If something is red then it is green.
Gary is not green.
@0: Bob is furry.[(triple1)] Dave is quiet.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4 OR ((triple6) -> rule3))] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)]