Anne is big. Anne is kind. Anne is quiet. Anne is white. Anne is young. Dave is kind. Dave is quiet. Harry is cold. Harry is kind. Harry is young. Cold people are young. If someone is cold then they are quiet. All cold, red people are quiet. All kind, red people are cold. If someone is big then they are cold. Cold people are white. All red people are white. If Anne is kind and Anne is red then Anne is not cold.
Dave is not white.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((((triple1) -> rule5)) -> rule2))] Anne is white.[(triple4 OR ((((triple1) -> rule5)) -> rule6))] Anne is young.[(triple5 OR ((((triple1) -> rule5)) -> rule1))] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is young.[(triple10 OR ((triple8) -> rule1))] @1: Anne is cold.[(((triple1) -> rule5))] Harry is quiet.[(((triple8) -> rule2))] Harry is white.[(((triple8) -> rule6))]