Anne is nice. Anne is round. Anne is smart. Anne is young. Bob is big. Bob is red. Bob is smart. Dave is furry. Dave is red. Dave is not young. All nice, smart things are big. If something is young then it is not furry.
Dave is red.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7)] Dave is furry.[(triple8)] Dave is not young.[(triple10)] Dave is red.[(triple9)] @1: Anne is big.[(((triple1 triple3) -> rule1))] Anne is not furry.[(((triple4) -> rule2))]