Dave is blue. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. Erin is young. Gary is blue. All quiet things are blue. All young, smart things are blue. If Gary is rough then Gary is white.
Dave is young.
@0: Dave is blue.[(triple1)] Dave is rough.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Erin is quiet.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] Erin is young.[(triple11)] Gary is blue.[(triple12)] @1: Erin is blue.[(((triple6) -> rule1) OR ((triple11 triple9) -> rule2))]