Anne is round. Anne is smart. Bob is not furry. Dave is big. Erin is not big. Erin is nice. Erin is round. Smart people are not young. If Erin is smart then Erin is kind. If Anne is not kind and Anne is not big then Anne is round.
Anne is kind.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Bob is not furry.[(triple3)] Dave is big.[(triple4)] Erin is nice.[(triple6)] Erin is not big.[(triple5)] Erin is round.[(triple7)] @1: Anne is not young.[(((triple2) -> rule1))]