Anne is cold. Anne is furry. Anne is green. Anne is quiet. Charlie is cold. Charlie is furry. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is red. If something is green and smart then it is cold. All smart, furry things are not cold. If Anne is cold and Anne is green then Anne is furry.
Anne is nice.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple1 triple3) -> rule3))] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Dave is red.[(triple12)]