Charlie is green. Charlie is kind. Dave is big. Dave is not furry. Dave is green. Dave is smart. Erin is not big. Erin is furry. Erin is kind. Erin is white. Harry is green. Harry is white. If something is smart then it is white. If Dave is furry then Dave is kind. If something is white then it is smart. If something is smart and not green then it is big. All green things are kind. If something is kind and not big then it is cold.
Charlie is kind.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule5))] Dave is big.[(triple3)] Dave is green.[(triple5)] Dave is not furry.[(triple4)] Dave is smart.[(triple6)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is not big.[(triple7)] Erin is white.[(triple10)] Harry is green.[(triple11)] Harry is white.[(triple12)] @1: Dave is kind.[(((triple5) -> rule5))] Dave is white.[(((triple6) -> rule1))] Erin is cold.[(((triple9 triple7) -> rule6))] Erin is smart.[(((triple10) -> rule3))] Harry is kind.[(((triple11) -> rule5))] Harry is smart.[(((triple12) -> rule3))]