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