Dave is green. Dave is nice. Dave is white. Dave is young. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Erin is white. Erin is young. If Erin is rough then Erin is nice. If Dave is rough then Dave is smart. Quiet people are green. If someone is white and quiet then they are smart. All green people are smart. If Dave is smart and Dave is quiet then Dave is young.
Dave is white.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is green.[(triple5 OR ((triple6) -> rule3))] Erin is quiet.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8 OR ((triple5) -> rule5) OR ((triple9 triple6) -> rule4) OR ((((triple6) -> rule3)) -> rule5))] Erin is white.[(triple9)] Erin is young.[(triple10)] @1: Dave is smart.[(((triple1) -> rule5))] Erin is nice.[(((triple7) -> rule1))]