Dave is cold. Dave is kind. Dave is white. If something is white then it is cold. If something is cold and white then it is rough. All rough, kind things are white. If something is cold and white then it is furry. If Dave is white and Dave is smart then Dave is furry. Rough, smart things are white. If Dave is white and Dave is furry then Dave is cold. If something is white and kind then it is cold.
Dave is not smart.
@0: Dave is cold.[(triple1 OR ((triple3) -> rule1) OR ((triple3 triple2) -> rule8))] Dave is kind.[(triple2)] Dave is white.[(triple3)] @1: Dave is furry.[(((triple1 triple3) -> rule4) OR ((((triple3) -> rule1) triple3) -> rule4) OR ((((triple3 triple2) -> rule8) triple3) -> rule4))] Dave is rough.[(((triple1 triple3) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2) OR ((((triple3 triple2) -> rule8) triple3) -> rule2))]