Dave is not cold. Dave is furry. Dave is quiet. Dave is red. Erin is red. Erin is round. Harry is cold. Harry is furry. Harry is quiet. Harry is not red. If someone is quiet then they are round.
Harry is quiet.
@0: Dave is furry.[(triple2)] Dave is not cold.[(triple1)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is not red.[(triple10)] Harry is quiet.[(triple9)] @1: Dave is round.[(((triple3) -> rule1))] Harry is round.[(((triple9) -> rule1))]