Anne is white. Dave is green. Dave is quiet. Dave is smart. Erin is green. Erin is quiet. Erin is smart. Erin is white. Gary is cold. Gary is furry. Gary is green. Gary is smart. All green, quiet things are smart. If Gary is white then Gary is quiet. If Erin is smart then Erin is white.
Gary is white.
@0: Anne is white.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4 OR ((triple2 triple3) -> rule1))] Erin is green.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7 OR ((triple5 triple6) -> rule1))] Erin is white.[(triple8 OR ((triple7) -> rule3) OR ((((triple5 triple6) -> rule1)) -> rule3))] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is smart.[(triple12)]