Anne is blue. Anne is kind. Anne is nice. Erin is big. Erin is blue. Erin is kind. Erin is quiet. Erin is young. Gary is kind. Gary is nice. Gary is red. Gary is young. All quiet, nice things are big. All big things are young. All red things are kind.
Anne is not nice.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7)] Erin is young.[(triple8 OR ((triple4) -> rule2))] Gary is kind.[(triple9 OR ((triple11) -> rule3))] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12)]