Anne is nice. Anne is quiet. Anne is rough. Anne is round. Bob is not furry. Bob is kind. Bob is quiet. Bob is rough. Charlie is not big. Dave is rough. If something is furry then it is kind. If Bob is nice and Bob is furry then Bob is round. All round things are furry.
Anne is not round.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Bob is kind.[(triple6)] Bob is not furry.[(triple5)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Charlie is not big.[(triple9)] Dave is rough.[(triple10)] @1: Anne is furry.[(((triple4) -> rule3))] @2: Anne is kind.[(((((triple4) -> rule3)) -> rule1))]