Anne is rough. Anne is smart. Bob is big. Bob is cold. Bob is furry. Bob is rough. Bob is smart. If someone is cold and quiet then they are furry. If Anne is smart then Anne is cold.
Anne is cold.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4)] Bob is furry.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)] @1: Anne is cold.[(((triple2) -> rule2))]