Dave is big. Dave is blue. Dave is furry. Dave is red. Erin is blue. Erin is not furry. Fiona is not quiet. If Dave is not furry then Dave is rough. All quiet people are not cold. Red, blue people are quiet.
Dave is not cold.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is red.[(triple4)] Erin is blue.[(triple5)] Erin is not furry.[(triple6)] Fiona is not quiet.[(triple7)] @1: Dave is quiet.[(((triple4 triple2) -> rule3))] @2: Dave is not cold.[(((((triple4 triple2) -> rule3)) -> rule2))]