Bob is big. Bob is furry. Bob is nice. Charlie is big. Charlie is cold. Charlie is kind. Charlie is nice. Gary is cold. Gary is young. Harry is blue. Harry is kind. Harry is young. All young, blue people are big.
Charlie is not cold.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Gary is cold.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Harry is big.[(((triple12 triple10) -> rule1))]