Bob is not big. Bob is cold. Bob is furry. Bob is green. Bob is not red. Bob is white. Erin is not big. Erin is cold. Erin is green. Erin is not white. Harry is red. Harry is white. All nice people are big. All red people are nice.
Erin is nice.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not big.[(triple1)] Bob is not red.[(triple5)] Bob is white.[(triple6)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is not big.[(triple7)] Erin is not white.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Harry is nice.[(((triple11) -> rule2))] @2: Harry is big.[(((((triple11) -> rule2)) -> rule1))]