Dave is blue. Dave is not cold. Erin is round. Quiet things are not cold. All smart things are rough. All round, cold things are blue. If Erin is cold then Erin is round. If something is quiet and not nice then it is round. Round things are not smart. If something is smart then it is quiet. All round things are not quiet.
Erin is not round.
@0: Dave is blue.[(triple1)] Dave is not cold.[(triple2)] Erin is round.[(triple3)] @1: Erin is not quiet.[(((triple3) -> rule8))] Erin is not smart.[(((triple3) -> rule6))]