Anne is big. Anne is white. Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is white. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is white. If someone is blue then they are white.
Erin is blue.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4)] Bob is furry.[(triple5)] Bob is red.[(triple6)] Bob is white.[(triple7)] Charlie is blue.[(triple8)] Charlie is cold.[(triple9)] Charlie is furry.[(triple10)] Charlie is red.[(triple11)] Erin is big.[(triple12)] Erin is blue.[(triple13)] Erin is cold.[(triple14)] Erin is kind.[(triple15)] Erin is white.[(triple16 OR ((triple13) -> rule1))] @1: Charlie is white.[(((triple8) -> rule1))]