Bob is red. Charlie is big. Fiona is round. All smart things are blue. All round, big things are smart. All big things are white. All white things are red. If Fiona is red and Fiona is big then Fiona is blue. If something is smart then it is white.
Charlie is not blue.
@0: Bob is red.[(triple1)] Charlie is big.[(triple2)] Fiona is round.[(triple3)] @1: Charlie is white.[(((triple2) -> rule3))] @2: Charlie is red.[(((((triple2) -> rule3)) -> rule4))]