Anne is big. Anne is blue. Anne is cold. Anne is red. Anne is smart. Bob is blue. Bob is cold. Bob is quiet. Bob is red. Bob is round. Bob is smart. Dave is blue. Dave is red. Dave is round. Harry is red. Harry is round. All red things are quiet. If Harry is round then Harry is smart.
Harry is red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Bob is blue.[(triple6)] Bob is cold.[(triple7)] Bob is quiet.[(triple8 OR ((triple9) -> rule1))] Bob is red.[(triple9)] Bob is round.[(triple10)] Bob is smart.[(triple11)] Dave is blue.[(triple12)] Dave is red.[(triple13)] Dave is round.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)] @1: Anne is quiet.[(((triple4) -> rule1))] Dave is quiet.[(((triple13) -> rule1))] Harry is quiet.[(((triple15) -> rule1))] Harry is smart.[(((triple16) -> rule2))]