Bob is big. Bob is furry. Bob is not smart. Erin is big. Erin is furry. Erin is smart. Erin is white. Quiet people are not smart. If someone is cold then they are smart. If Bob is cold then Bob is big. All smart, quiet people are not cold. All big people are nice. If someone is cold then they are nice. If someone is smart and not cold then they are not big. If someone is furry and quiet then they are big.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is not smart.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] @1: Bob is nice.[(((triple1) -> rule5))] Erin is nice.[(((triple4) -> rule5))]