Bob is round. Fiona is rough. Gary is smart. All round things are blue. If something is blue then it is not big. Round, white things are not big. If something is blue and not rough then it is not big. Rough, quiet things are white. If something is rough and not round then it is not white. Rough, white things are quiet. If Bob is blue and Bob is big then Bob is not white.
Gary is smart.
@0: Bob is round.[(triple1)] Fiona is rough.[(triple2)] Gary is smart.[(triple3)] @1: Bob is blue.[(((triple1) -> rule1))] @2: Bob is not big.[(((((triple1) -> rule1)) -> rule2))]