Anne is furry. Anne is quiet. Bob is big. Bob is furry. Bob is green. Bob is smart. Bob is white. Erin is big. Erin is furry. Harry is cold. Furry, big people are cold. Cold people are quiet.
Bob is green.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Bob is big.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9)] Harry is cold.[(triple10)] @1: Bob is cold.[(((triple4 triple3) -> rule1))] Erin is cold.[(((triple9 triple8) -> rule1))] Harry is quiet.[(((triple10) -> rule2))] @2: Bob is quiet.[(((((triple4 triple3) -> rule1)) -> rule2))] Erin is quiet.[(((((triple9 triple8) -> rule1)) -> rule2))]