Anne is young. Bob is rough. Fiona is blue. Gary is blue. If something is smart and cold then it is nice. If something is rough and kind then it is blue. If something is rough then it is kind. All kind things are blue. If something is nice and kind then it is young. All rough, nice things are young.
Bob is not rough.
@0: Anne is young.[(triple1)] Bob is rough.[(triple2)] Fiona is blue.[(triple3)] Gary is blue.[(triple4)] @1: Bob is kind.[(((triple2) -> rule3))] @2: Bob is blue.[(((((triple2) -> rule3)) -> rule4) OR ((triple2 ((triple2) -> rule3)) -> rule2))]