Bob is not big. Bob is nice. Bob is smart. Fiona is big. Fiona is cold. Fiona is nice. Gary is not big. Gary is green. Gary is smart. Gary is not white. Smart, white people are blue. White, blue people are not smart. If Gary is big then Gary is white. If someone is big then they are white. If Bob is blue and Bob is not big then Bob is not green. If Bob is smart and Bob is cold then Bob is white.
Gary is big.
@0: Bob is nice.[(triple2)] Bob is not big.[(triple1)] Bob is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Gary is green.[(triple8)] Gary is not big.[(triple7)] Gary is not white.[(triple10)] Gary is smart.[(triple9)] @1: Fiona is white.[(((triple4) -> rule4))]