Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Gary is kind. Gary is nice. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. Harry is white. Kind, white people are furry. All quiet, nice people are white.
Erin is not kind.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Harry is furry.[(triple8 OR ((triple9 triple12) -> rule1))] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Erin is white.[(((triple3 triple2) -> rule2))] @2: Erin is furry.[(((triple1 ((triple3 triple2) -> rule2)) -> rule1))]