Erin is big. Erin is blue. Erin is nice. Gary is cold. Gary is kind. Gary is round. Harry is big. Harry is cold. Harry is kind. Harry is nice. If something is kind and cold then it is blue.
Erin is not cold.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is nice.[(triple3)] Gary is cold.[(triple4)] Gary is kind.[(triple5)] Gary is round.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] @1: Gary is blue.[(((triple5 triple4) -> rule1))] Harry is blue.[(((triple9 triple8) -> rule1))]