Charlie is young. Erin is red. Fiona is kind. All red things are blue. Big things are cold. All white, young things are cold. If something is cold and kind then it is big. If something is red then it is blue. All blue things are cold. White things are red. All big, kind things are white.
Charlie is not big.
@0: Charlie is young.[(triple1)] Erin is red.[(triple2)] Fiona is kind.[(triple3)] @1: Erin is blue.[(((triple2) -> rule1) OR ((triple2) -> rule5))] @2: Erin is cold.[(((((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))]