Bob is big. Bob is blue. Bob is furry. Erin is big. Erin is blue. Erin is cold. Erin is rough. Harry is not blue. Harry is furry. Harry is nice. Harry is rough. Harry is smart. If Harry is cold and Harry is big then Harry is blue. If Harry is rough and Harry is cold then Harry is big. Rough, smart people are furry. If someone is furry and not big then they are smart. If someone is rough and cold then they are smart. If someone is smart and not cold then they are blue. All furry people are nice. If someone is cold and furry then they are nice.
Erin is not furry.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is rough.[(triple7)] Harry is furry.[(triple9 OR ((triple11 triple12) -> rule3))] Harry is nice.[(triple10 OR ((triple9) -> rule7) OR ((((triple11 triple12) -> rule3)) -> rule7))] Harry is not blue.[(triple8)] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Bob is nice.[(((triple3) -> rule7))] Erin is smart.[(((triple7 triple6) -> rule5))] @2: Erin is furry.[(((triple7 ((triple7 triple6) -> rule5)) -> rule3))] @3: Erin is nice.[(((((triple7 ((triple7 triple6) -> rule5)) -> rule3)) -> rule7) OR ((triple6 ((triple7 ((triple7 triple6) -> rule5)) -> rule3)) -> rule8))]