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