Anne is blue. Anne is cold. Anne is red. Anne is round. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is round. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is round. Dave is smart. If someone is red then they are big. If someone is cold and smart then they are big.
Dave is not cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is red.[(triple8)] Bob is round.[(triple9)] Dave is big.[(triple10 OR ((triple14) -> rule1) OR ((triple12 triple16) -> rule2))] Dave is blue.[(triple11)] Dave is cold.[(triple12)] Dave is furry.[(triple13)] Dave is red.[(triple14)] Dave is round.[(triple15)] Dave is smart.[(triple16)] @1: Anne is big.[(((triple3) -> rule1))] Bob is big.[(((triple8) -> rule1))]