Anne is cold. Anne is kind. Anne is round. Dave is rough. Harry is kind. Harry is quiet. Harry is red. All quiet people are white. All round, white people are cold. If someone is quiet then they are red. All kind people are cold. If Dave is quiet then Dave is cold. If Dave is red then Dave is kind. Cold people are red. If someone is kind then they are red.
Dave is rough.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule4))] Anne is kind.[(triple2)] Anne is round.[(triple3)] Dave is rough.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is red.[(triple7 OR ((triple5) -> rule8) OR ((triple6) -> rule3) OR ((((triple5) -> rule4)) -> rule7))] @1: Anne is red.[(((triple1) -> rule7) OR ((triple2) -> rule8) OR ((((triple2) -> rule4)) -> rule7))] Harry is cold.[(((triple5) -> rule4))] Harry is white.[(((triple6) -> rule1))]