Erin is cold. Erin is kind. Harry is big. All furry people are green. All furry, big people are green. All big people are not rough. If someone is big and not rough then they are not blue. All green people are blue. All furry people are cold. If someone is big and not blue then they are not cold. If Harry is furry and Harry is not cold then Harry is kind.
Erin is big.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Harry is big.[(triple3)] @1: Harry is not rough.[(((triple3) -> rule3))] @2: Harry is not blue.[(((triple3 ((triple3) -> rule3)) -> rule4))] @3: Harry is not cold.[(((triple3 ((triple3 ((triple3) -> rule3)) -> rule4)) -> rule7))]