Erin is big. Erin is cold. Erin is green. Erin is white. Harry is big. Harry is kind. Harry is quiet. If something is white and quiet then it is cold. If something is big and quiet then it is white. Big things are smart.
Erin is kind.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is white.[(triple4)] Harry is big.[(triple5)] Harry is kind.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is smart.[(((triple1) -> rule3))] Harry is smart.[(((triple5) -> rule3))] Harry is white.[(((triple5 triple7) -> rule2))] @2: Harry is cold.[(((((triple5 triple7) -> rule2) triple7) -> rule1))]