Bob is not nice. Bob is rough. Bob is smart. Charlie is kind. Charlie is not nice. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Harry is big. Harry is kind. Harry is red. If Harry is kind and Harry is big then Harry is nice. If someone is kind then they are red.
Bob is not nice.
@0: Bob is not nice.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Charlie is kind.[(triple4)] Charlie is not nice.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Harry is big.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12 OR ((triple11) -> rule2))] @1: Charlie is red.[(((triple4) -> rule2))] Erin is red.[(((triple6) -> rule2))] Harry is nice.[(((triple11 triple10) -> rule1))]