Anne is big. Anne is not red. Charlie is cold. Charlie is nice. Charlie is not quiet. Dave is not cold. Dave is smart. Harry is big. Harry is cold. Harry is quiet. If someone is quiet then they are red. Smart people are quiet. Cold, nice people are not quiet. If someone is blue then they are big. Quiet people are big. If Dave is cold then Dave is quiet. Smart, cold people are blue. All big people are not blue.
Charlie is red.
@0: Anne is big.[(triple1)] Anne is not red.[(triple2)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4)] Charlie is not quiet.[(triple5 OR ((triple3 triple4) -> rule3))] Dave is not cold.[(triple6)] Dave is smart.[(triple7)] Harry is big.[(triple8 OR ((triple10) -> rule5))] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is not blue.[(((triple1) -> rule8))] Dave is quiet.[(((triple7) -> rule2))] Harry is not blue.[(((triple8) -> rule8) OR ((((triple10) -> rule5)) -> rule8))] Harry is red.[(((triple10) -> rule1))] @2: Dave is big.[(((((triple7) -> rule2)) -> rule5))] Dave is red.[(((((triple7) -> rule2)) -> rule1))] @3: Dave is not blue.[(((((((triple7) -> rule2)) -> rule5)) -> rule8))]