Dave is big. Dave is cold. Dave is furry. Dave is not kind. Dave is not round. Dave is smart. Dave is young. If Dave is smart and Dave is furry then Dave is cold. All big, kind people are furry. If someone is big and not kind then they are furry. If Dave is not smart then Dave is big. If someone is furry and not big then they are not young. If Dave is kind and Dave is not young then Dave is round.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple6 triple3) -> rule1) OR ((triple6 ((triple1 triple4) -> rule3)) -> rule1))] Dave is furry.[(triple3 OR ((triple1 triple4) -> rule3))] Dave is not kind.[(triple4)] Dave is not round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]