Bob is kind. Fiona is big. Fiona is cold. Fiona is round. Gary is cold. Gary is smart. Gary is white. Big people are white. If Gary is kind and Gary is big then Gary is smart. Big, white people are quiet.
Gary is smart.
@0: Bob is kind.[(triple1)] Fiona is big.[(triple2)] Fiona is cold.[(triple3)] Fiona is round.[(triple4)] Gary is cold.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] @1: Fiona is white.[(((triple2) -> rule1))] @2: Fiona is quiet.[(((triple2 ((triple2) -> rule1)) -> rule3))]