Anne is white. Bob is big. Erin is big. Erin is quiet. Erin is red. Erin is white. Erin is young. Gary is green. Gary is not quiet. Gary is smart. Gary is white. Gary is not young. All red, smart people are white. If Erin is white and Erin is quiet then Erin is not smart.
Anne is white.
@0: Anne is white.[(triple1)] Bob is big.[(triple2)] Erin is big.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is green.[(triple8)] Gary is not quiet.[(triple9)] Gary is not young.[(triple12)] Gary is smart.[(triple10)] Gary is white.[(triple11)] @1: Erin is not smart.[(((triple6 triple4) -> rule2))]