Bob is young. Charlie is not rough. Fiona is young. All white people are red. Smart, blue people are not young. Red, smart people are white. All round people are white. If someone is young then they are round. If Charlie is rough then Charlie is round.
Charlie is blue.
@0: Bob is young.[(triple1)] Charlie is not rough.[(triple2)] Fiona is young.[(triple3)] @1: Bob is round.[(((triple1) -> rule5))] Fiona is round.[(((triple3) -> rule5))] @2: Bob is white.[(((((triple1) -> rule5)) -> rule4))] Fiona is white.[(((((triple3) -> rule5)) -> rule4))] @3: Bob is red.[(((((((triple1) -> rule5)) -> rule4)) -> rule1))] Fiona is red.[(((((((triple3) -> rule5)) -> rule4)) -> rule1))]