Dave is cold. Dave is kind. Erin is blue. Erin is cold. Erin is furry. Erin is not quiet. Erin is white. Fiona is blue. Fiona is furry. Fiona is quiet. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is not quiet. If something is blue and not cold then it is quiet. Blue things are nice. All quiet things are kind. If something is blue and quiet then it is not white. If Harry is nice and Harry is not quiet then Harry is white. If something is white and cold then it is furry.
Dave is not nice.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5 OR ((triple7 triple4) -> rule6))] Erin is not quiet.[(triple6)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((((triple14 triple15) -> rule5) triple12) -> rule6) OR ((((((triple11) -> rule2) triple15) -> rule5) triple12) -> rule6))] Harry is nice.[(triple14 OR ((triple11) -> rule2))] Harry is not quiet.[(triple15)] @1: Erin is nice.[(((triple3) -> rule2))] Fiona is kind.[(((triple10) -> rule3))] Fiona is nice.[(((triple8) -> rule2))] Fiona is not white.[(((triple8 triple10) -> rule4))] Harry is white.[(((triple14 triple15) -> rule5) OR ((((triple11) -> rule2) triple15) -> rule5))]