Anne is red. Anne is round. Dave is rough. Dave is round. Dave is not smart. Erin is not rough. Erin is not smart. Harry is blue. Harry is nice. Harry is smart. If someone is rough then they are nice. If Anne is red and Anne is not smart then Anne is not nice. Rough, smart people are red.
Harry is not red.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Dave is not smart.[(triple5)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Erin is not rough.[(triple6)] Erin is not smart.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is smart.[(triple10)] @1: Dave is nice.[(((triple3) -> rule1))]