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