Bob is blue. Erin is not kind. Fiona is quiet. Gary is big. All kind things are cold. Big things are kind.
Gary is cold.
@0: Bob is blue.[(triple1)] Erin is not kind.[(triple2)] Fiona is quiet.[(triple3)] Gary is big.[(triple4)] @1: Gary is kind.[(((triple4) -> rule2))] @2: Gary is cold.[(((((triple4) -> rule2)) -> rule1))]