その国庫負担金は聞き続けないかもしくは自転車置き場であるかあるいは両方ともだ
fact1: あのテクニックは広場である fact2: 「なにかは事業者団体だとすれば「ＮＩＶでなくて更に気安さでない」ということは成り立たない」ということは事実だ fact3: その国庫負担金がコース使用料である一方でそれは自転車置き場でないならば「あのテクニックはＮＩＶである」ということは成り立つ fact4: あのテクニックは事業者団体であるとすると「それはＮＩＶでなくてかつ気安さである」ということは成り立たない fact5: 何かは軍人らしい fact6: 軍人らしくないものは聞き続けるということはないかもしくは自転車置き場であるかあるいはどちらもだ fact7: 仮に「気安さでない」ものはあるとすれば「この積分回路は事業者団体であるしＮＩＶだ」ということは確かである fact8: なにがしかのものは広場であるならば気安さでない fact9: この積分回路が情けなくないしそれがコース使用料でないならばあのテクニックは事業者団体だ fact10: もし仮にとあるものが軍人らしいとすればこの積分回路は情けなくないしそれにコース使用料でない fact11: もし仮にその規制は聞き続けないならば「「その国庫負担金は聞き続けないかまたは自転車置き場であるかまたは両方ともだ」ということは成り立つ」ということは本当でない fact12: もし「その規制はＮＩＶでないしさらに聞き続けない」ということは正しくないとすればその国庫負担金は気安さだということはない fact13: もしも「あのテクニックはＮＩＶでなくてしかも気安さでない」ということは成り立たないなら「その規制は聞き続けるということはない」ということは事実だ fact14: もし仮に「なにがしかのものはコース使用料であるけれど情けなくない」ということは真実でないとしたら軍人らしくない
fact5 & fact10 -> int1: この積分回路は情けなくないしコース使用料でない; int1 & fact9 -> int2: 「あのテクニックは事業者団体だ」ということは成り立つ; fact2 -> int3: もし仮にあのテクニックは事業者団体だとすると「ＮＩＶでなくて更に気安さでない」ということは成り立たない; int2 & int3 -> int4: 「あのテクニックはＮＩＶでないし気安さでない」ということは間違いだ; int4 & fact13 -> int5: 「その規制は聞き続けない」ということは確かだ; int5 & fact11 -> hypothesis;
その国庫負担金は聞き続けないかあるいはそれは自転車置き場である
fact19 -> int6: 仮にその国庫負担金が軍人らしいということはないなら聞き続けないかそれは自転車置き場であるかあるいはどちらもだ; fact16 -> int7: 仮に「その国庫負担金はコース使用料であるが情けなくない」ということは偽であるならば軍人らしくない; fact18 -> int8: もし仮にあのテクニックは広場であるならば「気安さでない」ということは成り立つ; int8 & fact17 -> int9: あのテクニックは気安さでない; int9 -> int10: 「気安さだということはない」物はある; int10 & fact15 -> int11: この積分回路は事業者団体であるしＮＩＶだ; int11 -> int12: この積分回路は事業者団体である; int12 -> int13: とある物は事業者団体である;
$facts$ = fact1: あのテクニックは広場である fact2: 「なにかは事業者団体だとすれば「ＮＩＶでなくて更に気安さでない」ということは成り立たない」ということは事実だ fact3: その国庫負担金がコース使用料である一方でそれは自転車置き場でないならば「あのテクニックはＮＩＶである」ということは成り立つ fact4: あのテクニックは事業者団体であるとすると「それはＮＩＶでなくてかつ気安さである」ということは成り立たない fact5: 何かは軍人らしい fact6: 軍人らしくないものは聞き続けるということはないかもしくは自転車置き場であるかあるいはどちらもだ fact7: 仮に「気安さでない」ものはあるとすれば「この積分回路は事業者団体であるしＮＩＶだ」ということは確かである fact8: なにがしかのものは広場であるならば気安さでない fact9: この積分回路が情けなくないしそれがコース使用料でないならばあのテクニックは事業者団体だ fact10: もし仮にとあるものが軍人らしいとすればこの積分回路は情けなくないしそれにコース使用料でない fact11: もし仮にその規制は聞き続けないならば「「その国庫負担金は聞き続けないかまたは自転車置き場であるかまたは両方ともだ」ということは成り立つ」ということは本当でない fact12: もし「その規制はＮＩＶでないしさらに聞き続けない」ということは正しくないとすればその国庫負担金は気安さだということはない fact13: もしも「あのテクニックはＮＩＶでなくてしかも気安さでない」ということは成り立たないなら「その規制は聞き続けるということはない」ということは事実だ fact14: もし仮に「なにがしかのものはコース使用料であるけれど情けなくない」ということは真実でないとしたら軍人らしくない ; $hypothesis$ = その国庫負担金は聞き続けないかもしくは自転車置き場であるかあるいは両方ともだ ; $proof$ = 
fact5 & fact10 -> int1: この積分回路は情けなくないしコース使用料でない; int1 & fact9 -> int2: 「あのテクニックは事業者団体だ」ということは成り立つ; fact2 -> int3: もし仮にあのテクニックは事業者団体だとすると「ＮＩＶでなくて更に気安さでない」ということは成り立たない; int2 & int3 -> int4: 「あのテクニックはＮＩＶでないし気安さでない」ということは間違いだ; int4 & fact13 -> int5: 「その規制は聞き続けない」ということは確かだ; int5 & fact11 -> hypothesis; __DISPROVED__
事実1: あのテクニックは広場である
事実2: 「なにかは事業者団体だとすれば「ＮＩＶでなくて更に気安さでない」ということは成り立たない」ということは事実だ
事実3: その国庫負担金がコース使用料である一方でそれは自転車置き場でないならば「あのテクニックはＮＩＶである」ということは成り立つ
事実4: あのテクニックは事業者団体であるとすると「それはＮＩＶでなくてかつ気安さである」ということは成り立たない
事実5: 何かは軍人らしい
事実6: 軍人らしくないものは聞き続けるということはないかもしくは自転車置き場であるかあるいはどちらもだ
事実7: 仮に「気安さでない」ものはあるとすれば「この積分回路は事業者団体であるしＮＩＶだ」ということは確かである
事実8: なにがしかのものは広場であるならば気安さでない
事実9: この積分回路が情けなくないしそれがコース使用料でないならばあのテクニックは事業者団体だ
事実10: もし仮にとあるものが軍人らしいとすればこの積分回路は情けなくないしそれにコース使用料でない
事実11: もし仮にその規制は聞き続けないならば「「その国庫負担金は聞き続けないかまたは自転車置き場であるかまたは両方ともだ」ということは成り立つ」ということは本当でない
事実12: もし「その規制はＮＩＶでないしさらに聞き続けない」ということは正しくないとすればその国庫負担金は気安さだということはない
事実13: もしも「あのテクニックはＮＩＶでなくてしかも気安さでない」ということは成り立たないなら「その規制は聞き続けるということはない」ということは事実だ
事実14: もし仮に「なにがしかのものはコース使用料であるけれど情けなくない」ということは真実でないとしたら軍人らしくない

仮説: その国庫負担金は聞き続けないかもしくは自転車置き場であるかあるいは両方ともだ
1. 事実5と事実10から、推論1: "この積分回路は情けなくないしコース使用料でない"が導かれる
2. 推論1と事実9から、推論2: "「あのテクニックは事業者団体だ」ということは成り立つ"が導かれる
3. 事実2から、推論3: "もし仮にあのテクニックは事業者団体だとすると「ＮＩＶでなくて更に気安さでない」ということは成り立たない"が導かれる
4. 推論2と推論3から、推論4: "「あのテクニックはＮＩＶでないし気安さでない」ということは間違いだ"が導かれる
5. 推論4と事実13から、推論5: "「その規制は聞き続けない」ということは確かだ"が導かれる
6. 推論5と事実11から、仮説が否定される

よって、仮説が否定されました。