Anne is cold. Anne is red. Anne is young. Bob is blue. Bob is red. Erin is red. Erin is round. Gary is big. Gary is blue. Gary is round. If Bob is cold and Bob is blue then Bob is rough. If Gary is red and Gary is young then Gary is round. If someone is big then they are red.
Anne is not red.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is red.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is round.[(triple10)] @1: Gary is red.[(((triple8) -> rule3))]