Dave is blue. Dave is not cold. Dave is furry. Dave is not kind. Dave is not round. Dave is smart. Dave is young. Erin is blue. Erin is furry. Erin is round. All kind things are not young. All young things are blue. If Erin is not furry then Erin is smart.
Erin is not round.
@0: Dave is blue.[(triple1 OR ((triple7) -> rule2))] Dave is furry.[(triple3)] Dave is not cold.[(triple2)] Dave is not kind.[(triple4)] Dave is not round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is round.[(triple10)]