Charlie is white. Dave is kind. Erin is young. Harry is big. Young people are green. If someone is red and cold then they are not green. All white people are kind. Cold, green people are kind. If someone is cold then they are not young. All red people are big. If someone is white then they are red. If someone is big then they are not cold.
Harry is not kind.
@0: Charlie is white.[(triple1)] Dave is kind.[(triple2)] Erin is young.[(triple3)] Harry is big.[(triple4)] @1: Charlie is kind.[(((triple1) -> rule3))] Charlie is red.[(((triple1) -> rule7))] Erin is green.[(((triple3) -> rule1))] Harry is not cold.[(((triple4) -> rule8))] @2: Charlie is big.[(((((triple1) -> rule7)) -> rule6))] @3: Charlie is not cold.[(((((((triple1) -> rule7)) -> rule6)) -> rule8))]