Bob is not big. Bob is not blue. Bob is nice. Bob is quiet. Erin is not nice. Erin is round. Fiona is round. Harry is not big. Harry is nice. Harry is not round. Furry things are white. If Fiona is blue then Fiona is nice. If something is furry and blue then it is nice. All white things are round. If something is quiet and not blue then it is furry. If Erin is furry then Erin is not big.
Bob is not white.
@0: Bob is nice.[(triple3)] Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is quiet.[(triple4)] Erin is not nice.[(triple5)] Erin is round.[(triple6)] Fiona is round.[(triple7)] Harry is nice.[(triple9)] Harry is not big.[(triple8)] Harry is not round.[(triple10)] @1: Bob is furry.[(((triple4 triple2) -> rule5))] @2: Bob is white.[(((((triple4 triple2) -> rule5)) -> rule1))] @3: Bob is round.[(((((((triple4 triple2) -> rule5)) -> rule1)) -> rule4))]