Bob is rough. Dave is red. Fiona is young. Gary is kind. Rough people are young. All round, kind people are rough. If someone is kind then they are round.
Bob is not young.
@0: Bob is rough.[(triple1)] Dave is red.[(triple2)] Fiona is young.[(triple3)] Gary is kind.[(triple4)] @1: Bob is young.[(((triple1) -> rule1))] Gary is round.[(((triple4) -> rule3))] @2: Gary is rough.[(((((triple4) -> rule3) triple4) -> rule2))] @3: Gary is young.[(((((((triple4) -> rule3) triple4) -> rule2)) -> rule1))]