Dave is furry. Dave is red. Erin is not cold. If someone is quiet and not rough then they are cold. All red people are cold. White, quiet people are furry. All quiet people are white. If Dave is cold then Dave is quiet. If someone is white then they are red. If someone is white and rough then they are quiet. If Dave is not quiet then Dave is smart.
Dave is cold.
@0: Dave is furry.[(triple1 OR ((((((((triple2) -> rule2)) -> rule5)) -> rule4) ((((triple2) -> rule2)) -> rule5)) -> rule3))] Dave is red.[(triple2)] Erin is not cold.[(triple3)] @1: Dave is cold.[(((triple2) -> rule2))] @2: Dave is quiet.[(((((triple2) -> rule2)) -> rule5))] @3: Dave is white.[(((((((triple2) -> rule2)) -> rule5)) -> rule4))]