Bob is smart. Dave is not smart. Erin is quiet. Harry is cold. Cold people are big. All young, kind people are big. If someone is big then they are kind. All kind people are furry. Furry people are quiet. If Erin is big and Erin is not quiet then Erin is smart.
Bob is not young.
@0: Bob is smart.[(triple1)] Dave is not smart.[(triple2)] Erin is quiet.[(triple3)] Harry is cold.[(triple4)] @1: Harry is big.[(((triple4) -> rule1))] @2: Harry is kind.[(((((triple4) -> rule1)) -> rule3))] @3: Harry is furry.[(((((((triple4) -> rule1)) -> rule3)) -> rule4))] @4: Harry is quiet.[(((((((((triple4) -> rule1)) -> rule3)) -> rule4)) -> rule5))]