Charlie is cold. Charlie is furry. Charlie is green. Charlie is not nice. Charlie is red. Charlie is not smart. Charlie is young. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is not red. Dave is smart. Dave is young. If something is nice then it is cold. All smart things are cold. If Dave is red then Dave is furry. Nice things are green. If something is smart and not nice then it is furry. Nice, cold things are smart.
Dave is furry.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not nice.[(triple4)] Charlie is not smart.[(triple6)] Charlie is red.[(triple5)] Charlie is young.[(triple7)] Dave is cold.[(triple8 OR ((triple11) -> rule1) OR ((triple13) -> rule2))] Dave is furry.[(triple9)] Dave is green.[(triple10 OR ((triple11) -> rule4))] Dave is nice.[(triple11)] Dave is not red.[(triple12)] Dave is smart.[(triple13 OR ((triple11 triple8) -> rule6) OR ((triple11 ((triple11) -> rule1)) -> rule6))] Dave is young.[(triple14)]