Bob is big. Bob is green. Bob is kind. Charlie is big. Charlie is cold. Charlie is green. Charlie is white. Dave is big. Dave is round. Gary is white. If something is round then it is white. Green, white things are red.
Bob is not red.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8)] Dave is round.[(triple9)] Gary is white.[(triple10)] @1: Charlie is red.[(((triple6 triple7) -> rule2))] Dave is white.[(((triple9) -> rule1))]