Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is white. Bob is big. Bob is blue. Bob is red. Bob is white. Erin is big. Erin is blue. Erin is red. Harry is big. Harry is kind. Harry is red. Harry is white. If something is kind then it is white.
Bob is not blue.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5 OR ((triple2) -> rule1))] Bob is big.[(triple6)] Bob is blue.[(triple7)] Bob is red.[(triple8)] Bob is white.[(triple9)] Erin is big.[(triple10)] Erin is blue.[(triple11)] Erin is red.[(triple12)] Harry is big.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16 OR ((triple14) -> rule1))]