Charlie is cold. Charlie is red. Dave is kind. Harry is furry. Harry is kind. Harry is red. Harry is round. Red, furry people are round. Nice people are cold. Nice, big people are kind. If Charlie is round then Charlie is kind. If someone is cold then they are nice. If someone is furry then they are big. If someone is round and nice then they are kind. All cold, round people are nice.
Charlie is not big.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Dave is kind.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7 OR ((triple6 triple4) -> rule1))] @1: Charlie is nice.[(((triple1) -> rule5))] Harry is big.[(((triple4) -> rule6))]