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