Bob is not blue. Bob is white. Erin is cold. Erin is furry. Erin is white. Gary is not big. Gary is cold. Gary is furry. Gary is not smart. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is white. Harry is young. All big, blue people are young. If someone is furry and big then they are not smart. Big people are cold.
Bob is blue.
@0: Bob is not blue.[(triple1)] Bob is white.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is white.[(triple5)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is not big.[(triple6)] Gary is not smart.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12 OR ((triple10) -> rule3))] Harry is furry.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15 OR ((triple10 triple11) -> rule1))] @1: Harry is not smart.[(((triple13 triple10) -> rule2))]