Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Harry is quiet. Harry is round. Harry is white. If Erin is green then Erin is furry. If Harry is quiet then Harry is nice.
Harry is not furry.
@0: Erin is furry.[(triple1 OR ((triple2) -> rule1))] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Harry is nice.[(((triple8) -> rule2))]