Charlie is big. Charlie is rough. Charlie is white. Dave is blue. Gary is blue. Gary is cold. Gary is quiet. Harry is blue. Harry is cold. Harry is nice. White things are cold. If something is nice and big then it is blue.
Charlie is blue.
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Dave is blue.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is quiet.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple10)] @1: Charlie is cold.[(((triple3) -> rule1))]