Dave is big. Dave is green. Dave is quiet. Dave is young. Erin is cold. Erin is furry. Erin is green. Gary is green. Gary is quiet. Gary is young. All cold, quiet things are kind. If something is young then it is cold.
Gary is not kind.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is young.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] @1: Dave is cold.[(((triple4) -> rule2))] Gary is cold.[(((triple10) -> rule2))] @2: Dave is kind.[(((((triple4) -> rule2) triple3) -> rule1))] Gary is kind.[(((((triple10) -> rule2) triple9) -> rule1))]