Anne is nice. Bob is red. Bob is rough. Bob is young. Charlie is red. Harry is round. Harry is white. If Harry is nice then Harry is big. All young, white people are round. Red people are nice. If Charlie is nice and Charlie is round then Charlie is red. Rough, red people are big. All big people are white.
Bob is not white.
@0: Anne is nice.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Charlie is red.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Bob is big.[(((triple3 triple2) -> rule5))] Bob is nice.[(((triple2) -> rule3))] Charlie is nice.[(((triple5) -> rule3))] @2: Bob is white.[(((((triple3 triple2) -> rule5)) -> rule6))] @3: Bob is round.[(((triple4 ((((triple3 triple2) -> rule5)) -> rule6)) -> rule2))]