Anne is big. Bob is rough. Fiona is big. Gary is big. Big people are rough. All kind people are not blue. If Bob is big and Bob is not rough then Bob is kind.
Anne is not big.
@0: Anne is big.[(triple1)] Bob is rough.[(triple2)] Fiona is big.[(triple3)] Gary is big.[(triple4)] @1: Anne is rough.[(((triple1) -> rule1))] Fiona is rough.[(((triple3) -> rule1))] Gary is rough.[(((triple4) -> rule1))]