Anne is blue. Anne is cold. Anne is red. Charlie is red. Charlie is round. Dave is red. Harry is red. If Dave is cold then Dave is quiet. Red, blue people are rough. If Anne is cold then Anne is smart. All quiet people are red. Smart people are rough. Cold, blue people are red.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3 OR ((triple2 triple1) -> rule6))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Dave is red.[(triple6)] Harry is red.[(triple7)] @1: Anne is rough.[(((triple3 triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule5) OR ((((triple2 triple1) -> rule6) triple1) -> rule2))] Anne is smart.[(((triple2) -> rule3))]