Charlie is big. Charlie is blue. Charlie is cold. Charlie is white. Dave is blue. Dave is green. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is round. Harry is white. If Dave is blue and Dave is big then Dave is kind. If Harry is kind then Harry is round. If something is green and blue then it is big. Kind things are cold. If something is round then it is big. All kind, white things are cold.
Dave is white.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is white.[(triple4)] Dave is blue.[(triple5)] Dave is green.[(triple6)] Harry is big.[(triple7 OR ((triple11) -> rule5) OR ((((triple10) -> rule2)) -> rule5))] Harry is cold.[(triple8 OR ((triple10) -> rule4) OR ((triple10 triple12) -> rule6))] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is round.[(triple11 OR ((triple10) -> rule2))] Harry is white.[(triple12)] @1: Dave is big.[(((triple6 triple5) -> rule3))] @2: Dave is kind.[(((triple5 ((triple6 triple5) -> rule3)) -> rule1))] @3: Dave is cold.[(((((triple5 ((triple6 triple5) -> rule3)) -> rule1)) -> rule4))]