Dave is red. Dave is rough. Erin is white. All rough things are young. If something is red and white then it is big. All cold things are rough. If something is rough then it is big. Big things are red. All cold things are white. If something is cold and big then it is blue. If something is big then it is cold.
Dave is not cold.
@0: Dave is red.[(triple1 OR ((((triple2) -> rule4)) -> rule5))] Dave is rough.[(triple2)] Erin is white.[(triple3)] @1: Dave is big.[(((triple2) -> rule4))] Dave is young.[(((triple2) -> rule1))] @2: Dave is cold.[(((((triple2) -> rule4)) -> rule8))] @3: Dave is blue.[(((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule7))] Dave is white.[(((((((triple2) -> rule4)) -> rule8)) -> rule6))]