Dave is green. Dave is young. Fiona is blue. Fiona is cold. Fiona is green. Gary is big. Gary is young. Harry is blue. Harry is cold. Harry is green. Cold things are kind. Kind things are young. If something is young and cold then it is big.
Gary is blue.
@0: Dave is green.[(triple1)] Dave is young.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Gary is big.[(triple6)] Gary is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] @1: Fiona is kind.[(((triple4) -> rule1))] Harry is kind.[(((triple9) -> rule1))] @2: Fiona is young.[(((((triple4) -> rule1)) -> rule2))] Harry is young.[(((((triple9) -> rule1)) -> rule2))] @3: Fiona is big.[(((((((triple4) -> rule1)) -> rule2) triple4) -> rule3))] Harry is big.[(((((((triple9) -> rule1)) -> rule2) triple9) -> rule3))]