Bob is big. Bob is cold. Charlie is not big. Charlie is kind. Fiona is big. Fiona is cold. Fiona is rough. Gary is big. Gary is blue. Gary is rough. Gary is not smart. Gary is white. Kind people are not blue.
Charlie is not blue.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Charlie is kind.[(triple4)] Charlie is not big.[(triple3)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is rough.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is not smart.[(triple11)] Gary is rough.[(triple10)] Gary is white.[(triple12)] @1: Charlie is not blue.[(((triple4) -> rule1))]