Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is young. Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is young. Harry is big. Harry is kind. Harry is red. All kind things are young.
Erin is not smart.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Erin is young.[(triple6 OR ((triple1) -> rule1))] Gary is big.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is smart.[(triple12)] Gary is young.[(triple13 OR ((triple8) -> rule1))] Harry is big.[(triple14)] Harry is kind.[(triple15)] Harry is red.[(triple16)] @1: Harry is young.[(((triple15) -> rule1))]