Charlie is blue. Fiona is smart. Fiona is white. Red things are kind. If something is white then it is red. If something is red and kind then it is big. If Fiona is big then Fiona is young. Big, blue things are young. If Charlie is big and Charlie is not smart then Charlie is not red.
Charlie is smart.
@0: Charlie is blue.[(triple1)] Fiona is smart.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is red.[(((triple3) -> rule2))] @2: Fiona is kind.[(((((triple3) -> rule2)) -> rule1))] @3: Fiona is big.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule1)) -> rule3))] @4: Fiona is young.[(((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule1)) -> rule3)) -> rule4))]