Bob is nice. Bob is quiet. Bob is rough. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. If Bob is rough and Bob is red then Bob is white. Kind things are rough. If something is nice then it is red.
Charlie is not rough.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] @1: Bob is red.[(((triple1) -> rule3))] @2: Bob is white.[(((triple3 ((triple1) -> rule3)) -> rule1))]