Bob is big. Dave is cold. Dave is furry. Dave is young. Erin is cold. Erin is smart. Erin is young. All quiet things are furry. If something is cold then it is smart. If something is cold then it is quiet.
Dave is not cold.
@0: Bob is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((((triple2) -> rule3)) -> rule1))] Dave is young.[(triple4)] Erin is cold.[(triple5)] Erin is smart.[(triple6 OR ((triple5) -> rule2))] Erin is young.[(triple7)] @1: Dave is quiet.[(((triple2) -> rule3))] Dave is smart.[(((triple2) -> rule2))] Erin is quiet.[(((triple5) -> rule3))] @2: Erin is furry.[(((((triple5) -> rule3)) -> rule1))]