Charlie is furry. Charlie is quiet. Dave is cold. Dave is young. Erin is cold. Erin is red. Harry is big. Harry is cold. Harry is quiet. Harry is young. If Erin is quiet then Erin is furry. Red things are quiet. All furry, quiet things are red.
Dave is not quiet.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Dave is cold.[(triple3)] Dave is young.[(triple4)] Erin is cold.[(triple5)] Erin is red.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is quiet.[(triple9)] Harry is young.[(triple10)] @1: Charlie is red.[(((triple1 triple2) -> rule3))] Erin is quiet.[(((triple6) -> rule2))] @2: Erin is furry.[(((((triple6) -> rule2)) -> rule1))]