Anne is quiet. Anne is red. Dave is big. Dave is not cold. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Erin is big. Erin is not cold. Erin is green. Erin is nice. Erin is red. Erin is smart. Harry is nice. If Harry is smart then Harry is quiet. If something is quiet and smart then it is red. If Dave is green then Dave is smart. All green things are nice. Green things are nice. If Harry is quiet then Harry is red. If Harry is quiet and Harry is not cold then Harry is not smart. If Dave is smart then Dave is big.
Harry is not quiet.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Dave is big.[(triple3 OR ((triple9) -> rule8) OR ((((triple5) -> rule3)) -> rule8))] Dave is green.[(triple5)] Dave is nice.[(triple6 OR ((triple5) -> rule4) OR ((triple5) -> rule5))] Dave is not cold.[(triple4)] Dave is quiet.[(triple7)] Dave is red.[(triple8 OR ((triple7 triple9) -> rule2) OR ((triple7 ((triple5) -> rule3)) -> rule2))] Dave is smart.[(triple9 OR ((triple5) -> rule3))] Erin is big.[(triple10)] Erin is green.[(triple12)] Erin is nice.[(triple13 OR ((triple12) -> rule4) OR ((triple12) -> rule5))] Erin is not cold.[(triple11)] Erin is red.[(triple14)] Erin is smart.[(triple15)] Harry is nice.[(triple16)]