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