Anne is furry. Anne is smart. Anne is not white. Bob is furry. Fiona is blue. Fiona is round. Fiona is smart. Harry is not big. Harry is blue. Harry is quiet. If Bob is round and Bob is blue then Bob is white. If someone is big and blue then they are white. Blue people are not white.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is not white.[(triple3)] Anne is smart.[(triple2)] Bob is furry.[(triple4)] Fiona is blue.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Harry is blue.[(triple9)] Harry is not big.[(triple8)] Harry is quiet.[(triple10)] @1: Fiona is not white.[(((triple5) -> rule3))] Harry is not white.[(((triple9) -> rule3))]