Bob is rough. Charlie is round. Dave is blue. Gary is green. All green people are blue. If someone is round and blue then they are rough. All red people are nice. If someone is blue then they are round. All furry people are green. Red, blue people are nice.
Charlie is not nice.
@0: Bob is rough.[(triple1)] Charlie is round.[(triple2)] Dave is blue.[(triple3)] Gary is green.[(triple4)] @1: Dave is round.[(((triple3) -> rule4))] Gary is blue.[(((triple4) -> rule1))] @2: Dave is rough.[(((((triple3) -> rule4) triple3) -> rule2))] Gary is round.[(((((triple4) -> rule1)) -> rule4))] @3: Gary is rough.[(((((((triple4) -> rule1)) -> rule4) ((triple4) -> rule1)) -> rule2))]