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