Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is not young. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is not smart. Gary is young. If Dave is kind and Dave is smart then Dave is cold. If something is nice then it is furry. Cold, smart things are furry. If something is blue and not smart then it is kind. If something is kind then it is cold. Smart things are cold. All kind, blue things are nice. If Gary is kind then Gary is young.
Dave is not kind.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple4) -> rule2))] Dave is nice.[(triple4)] Dave is not young.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7 OR ((triple9) -> rule5) OR ((((triple6 triple11) -> rule4)) -> rule5))] Gary is furry.[(triple8 OR ((triple10) -> rule2) OR ((((triple9 triple6) -> rule7)) -> rule2) OR ((((((triple6 triple11) -> rule4) triple6) -> rule7)) -> rule2))] Gary is kind.[(triple9 OR ((triple6 triple11) -> rule4))] Gary is nice.[(triple10 OR ((triple9 triple6) -> rule7) OR ((((triple6 triple11) -> rule4) triple6) -> rule7))] Gary is not smart.[(triple11)] Gary is young.[(triple12 OR ((triple9) -> rule8) OR ((((triple6 triple11) -> rule4)) -> rule8))]