Bob is nice. Charlie is quiet. Dave is not rough. Erin is white. If someone is white and not quiet then they are nice. If someone is rough then they are nice. Big people are rough. All nice, white people are big. If someone is nice then they are white. If someone is white and not quiet then they are green. If someone is white and not nice then they are round. Quiet, white people are round.
Bob is not nice.
@0: Bob is nice.[(triple1)] Charlie is quiet.[(triple2)] Dave is not rough.[(triple3)] Erin is white.[(triple4)] @1: Bob is white.[(((triple1) -> rule5))] @2: Bob is big.[(((triple1 ((triple1) -> rule5)) -> rule4))] @3: Bob is rough.[(((((triple1 ((triple1) -> rule5)) -> rule4)) -> rule3))]