Bob is young. Charlie is young. Fiona is kind. Gary is round. All young people are big. All big people are cold. If Gary is blue then Gary is young. If Charlie is cold then Charlie is big. If someone is round and young then they are cold. If someone is young and blue then they are round.
Gary is not young.
@0: Bob is young.[(triple1)] Charlie is young.[(triple2)] Fiona is kind.[(triple3)] Gary is round.[(triple4)] @1: Bob is big.[(((triple1) -> rule1))] Charlie is big.[(((triple2) -> rule1))] @2: Bob is cold.[(((((triple1) -> rule1)) -> rule2))] Charlie is cold.[(((((triple2) -> rule1)) -> rule2))]