Bob is red. Fiona is red. Gary is big. All red things are young. If Fiona is red then Fiona is big. If Gary is big then Gary is quiet. If Gary is not young then Gary is quiet. All kind things are cold. All white things are cold. If something is kind and not big then it is cold. All quiet things are kind.
Bob is not white.
@0: Bob is red.[(triple1)] Fiona is red.[(triple2)] Gary is big.[(triple3)] @1: Bob is young.[(((triple1) -> rule1))] Fiona is big.[(((triple2) -> rule2))] Fiona is young.[(((triple2) -> rule1))] Gary is quiet.[(((triple3) -> rule3))] @2: Gary is kind.[(((((triple3) -> rule3)) -> rule8))] @3: Gary is cold.[(((((((triple3) -> rule3)) -> rule8)) -> rule5))]