「あのデータフローはアップリケする」ということは成り立たない
fact1: 仮にあのデータフローが募集委託者だとすればそれは逸らないしその上それはアップリケしない fact2: もし仮にあるものは書き留めるしさらに戦争だとしたら女々しかない fact3: あのデータフローは募集委託者である fact4: すべての物は書き留めるし加えてそれは戦争だ
fact1 & fact3 -> int1: あのデータフローは逸らなくて加えてそれはアップリケしない; int1 -> hypothesis;
この聖別は募集委託者だ
fact6 -> int2: あのデータフローは書き留めるしさらに戦争である; fact5 -> int3: もし仮にあのデータフローは書き留めるしさらに戦争であるならば女々しかない; int2 & int3 -> int4: あのデータフローは女々しかない;
$facts$ = fact1: 仮にあのデータフローが募集委託者だとすればそれは逸らないしその上それはアップリケしない fact2: もし仮にあるものは書き留めるしさらに戦争だとしたら女々しかない fact3: あのデータフローは募集委託者である fact4: すべての物は書き留めるし加えてそれは戦争だ ; $hypothesis$ = 「あのデータフローはアップリケする」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: あのデータフローは逸らなくて加えてそれはアップリケしない; int1 -> hypothesis; __PROVED__
事実1: 仮にあのデータフローが募集委託者だとすればそれは逸らないしその上それはアップリケしない
事実2: もし仮にあるものは書き留めるしさらに戦争だとしたら女々しかない
事実3: あのデータフローは募集委託者である
事実4: すべての物は書き留めるし加えてそれは戦争だ

仮説: 「あのデータフローはアップリケする」ということは成り立たない
1. 事実1と事実3から、推論1: "あのデータフローは逸らなくて加えてそれはアップリケしない"が導かれる
2. 推論1から、仮説が導かれる

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