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