Dave is nice. Dave is rough. Erin is quiet. Erin is round. Erin is white. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. If Erin is round and Erin is nice then Erin is furry. Quiet things are nice. If Fiona is round and Fiona is white then Fiona is nice. All rough things are not quiet. If something is quiet then it is kind. If something is rough and not quiet then it is furry. If something is white then it is furry. If something is kind and not white then it is furry.
Dave is not kind.
@0: Dave is nice.[(triple1)] Dave is rough.[(triple2)] Erin is quiet.[(triple3)] Erin is round.[(triple4)] Erin is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7 OR ((triple9) -> rule5))] Fiona is nice.[(triple8 OR ((triple9) -> rule2))] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] @1: Dave is not quiet.[(((triple2) -> rule4))] Erin is furry.[(((triple5) -> rule7) OR ((triple4 ((triple3) -> rule2)) -> rule1))] Erin is kind.[(((triple3) -> rule5))] Erin is nice.[(((triple3) -> rule2))] @2: Dave is furry.[(((triple2 ((triple2) -> rule4)) -> rule6))]