Charlie is cold. Charlie is round. Dave is cold. Dave is quiet. Dave is round. Harry is big. Harry is blue. Harry is cold. Harry is quiet. Harry is red. Harry is round. Harry is white. Cold things are white. If something is white and cold then it is blue.
Harry is round.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7 OR ((triple12 triple8) -> rule2) OR ((((triple8) -> rule1) triple8) -> rule2))] Harry is cold.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12 OR ((triple8) -> rule1))] @1: Charlie is white.[(((triple1) -> rule1))] Dave is white.[(((triple3) -> rule1))] @2: Charlie is blue.[(((((triple1) -> rule1) triple1) -> rule2))] Dave is blue.[(((((triple3) -> rule1) triple3) -> rule2))]