Anne is big. Anne is cold. Charlie is big. Charlie is furry. Charlie is quiet. Charlie is red. Erin is furry. Erin is red. Gary is cold. Gary is furry. Gary is quiet. Gary is white. All red people are white.
Gary is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Erin is furry.[(triple7)] Erin is red.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is quiet.[(triple11)] Gary is white.[(triple12)] @1: Charlie is white.[(((triple6) -> rule1))] Erin is white.[(((triple8) -> rule1))]