Anne is quiet. Anne is round. Anne is young. Bob is kind. Bob is young. Charlie is green. Charlie is not quiet. Charlie is round. Dave is not kind. Dave is white. White people are round. All kind people are white. If Bob is quiet and Bob is kind then Bob is round.
Bob is not round.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Bob is kind.[(triple4)] Bob is young.[(triple5)] Charlie is green.[(triple6)] Charlie is not quiet.[(triple7)] Charlie is round.[(triple8)] Dave is not kind.[(triple9)] Dave is white.[(triple10)] @1: Bob is white.[(((triple4) -> rule2))] Dave is round.[(((triple10) -> rule1))] @2: Bob is round.[(((((triple4) -> rule2)) -> rule1))]