Charlie is red. Erin is white. Harry is big. All red people are rough. All cold people are big. All cold people are kind. Cold people are rough. Rough people are red. Rough, furry people are kind. If Harry is rough then Harry is furry. If someone is rough and red then they are cold.
Erin is rough.
@0: Charlie is red.[(triple1)] Erin is white.[(triple2)] Harry is big.[(triple3)] @1: Charlie is rough.[(((triple1) -> rule1))] @2: Charlie is cold.[(((((triple1) -> rule1) triple1) -> rule8))] @3: Charlie is big.[(((((((triple1) -> rule1) triple1) -> rule8)) -> rule2))] Charlie is kind.[(((((((triple1) -> rule1) triple1) -> rule8)) -> rule3))]