Charlie is smart. Fiona is not young. All white, round people are big. If someone is young then they are big. All young, round people are big. If Fiona is white then Fiona is big. All round people are not young. If Charlie is cold then Charlie is round. If someone is smart then they are cold. Smart people are blue.
Fiona is white.
@0: Charlie is smart.[(triple1)] Fiona is not young.[(triple2)] @1: Charlie is blue.[(((triple1) -> rule8))] Charlie is cold.[(((triple1) -> rule7))] @2: Charlie is round.[(((((triple1) -> rule7)) -> rule6))] @3: Charlie is not young.[(((((((triple1) -> rule7)) -> rule6)) -> rule5))]