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