Dave is big. Dave is cold. Dave is furry. Dave is quiet. Dave is red. Dave is not rough. Dave is white. If Dave is red and Dave is not white then Dave is rough. If someone is cold and quiet then they are big. White, cold people are big. Red people are furry. Red people are furry. If someone is big and not white then they are not furry. If Dave is not rough then Dave is quiet. If someone is big and quiet then they are cold.
Dave is cold.
@0: Dave is big.[(triple1 OR ((triple2 triple4) -> rule2) OR ((triple7 triple2) -> rule3) OR ((triple2 ((triple6) -> rule7)) -> rule2))] Dave is cold.[(triple2 OR ((triple1 triple4) -> rule8) OR ((triple1 ((triple6) -> rule7)) -> rule8))] Dave is furry.[(triple3 OR ((triple5) -> rule4) OR ((triple5) -> rule5))] Dave is not rough.[(triple6)] Dave is quiet.[(triple4 OR ((triple6) -> rule7))] Dave is red.[(triple5)] Dave is white.[(triple7)]