その物干しは堕胎・間引き禁止政策でないかまたは願い奉らないかあるいは両方である
fact1: もし仮にあの整理回収機構が連邦機関であるがしかし指揮命令でないならその物干しは願い奉らない fact2: その物干しは堕胎・間引き禁止政策でないかまたはそれは連邦機関でない fact3: もしもその物干しが願い奉るけれど指揮命令でないとしたらあの整理回収機構は堕胎・間引き禁止政策でない fact4: その物干しは連邦機関でないかそれは堕胎・間引き禁止政策でない fact5: その物干しは堕胎・間引き禁止政策でないかもしくは指揮命令でない fact6: あの整理回収機構は連邦機関だが指揮命令でない fact7: その物干しは指揮命令でない fact8: その物干しは荒々しいけれど指揮命令だということはない
fact1 & fact6 -> int1: その物干しは願い奉らない; int1 -> hypothesis;
fact1 & fact6 -> int1: ¬{B}{b}; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの整理回収機構が連邦機関であるがしかし指揮命令でないならその物干しは願い奉らない fact2: その物干しは堕胎・間引き禁止政策でないかまたはそれは連邦機関でない fact3: もしもその物干しが願い奉るけれど指揮命令でないとしたらあの整理回収機構は堕胎・間引き禁止政策でない fact4: その物干しは連邦機関でないかそれは堕胎・間引き禁止政策でない fact5: その物干しは堕胎・間引き禁止政策でないかもしくは指揮命令でない fact6: あの整理回収機構は連邦機関だが指揮命令でない fact7: その物干しは指揮命令でない fact8: その物干しは荒々しいけれど指揮命令だということはない ; $hypothesis$ = その物干しは堕胎・間引き禁止政策でないかまたは願い奉らないかあるいは両方である ; $proof$ = 
fact1 & fact6 -> int1: その物干しは願い奉らない; int1 -> hypothesis; __PROVED__
事実1: もし仮にあの整理回収機構が連邦機関であるがしかし指揮命令でないならその物干しは願い奉らない
事実2: その物干しは堕胎・間引き禁止政策でないかまたはそれは連邦機関でない
事実3: もしもその物干しが願い奉るけれど指揮命令でないとしたらあの整理回収機構は堕胎・間引き禁止政策でない
事実4: その物干しは連邦機関でないかそれは堕胎・間引き禁止政策でない
事実5: その物干しは堕胎・間引き禁止政策でないかもしくは指揮命令でない
事実6: あの整理回収機構は連邦機関だが指揮命令でない
事実7: その物干しは指揮命令でない
事実8: その物干しは荒々しいけれど指揮命令だということはない

仮説: その物干しは堕胎・間引き禁止政策でないかまたは願い奉らないかあるいは両方である
1. 事実1と事実6から、推論1: "その物干しは願い奉らない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。