その人間集団は検証出来る
fact1: もしもある物が決別するとするとその旨屋は決別するかあるいはそれは糸巻戦車でないかあるいはどちらもだ fact2: どれもこれもは企業内でないがどす黒い fact3: 仮にその旨屋が立ち上らないとすればこの犬ころは取得し易くない fact4: 「とあるものは姉らしくないが止まる」ということは真実でないとするとそれは検証出来る fact5: もし仮に「現われ難くない」物はあるなら「その人間集団は対策プログラムでないか心細い」ということは成り立たない fact6: その人間集団は擦れ合う fact7: それは姉らしくない一方で止まるというものはない fact8: ばあかしいしおまけに伸び易いというものはない fact9: 「なんらかのものは対策プログラムでないかそれは心細いかあるいは両方だ」ということは確かであるということはないとすると検証出来ない fact10: 仮にその人間集団が姉らしいとすれば検証出来る fact11: もしも取得し易くないものは親離れであるならそれは特典でない fact12: 仮に「あるものは囁くということはないがそれは苛立たしい」ということは成り立たないならばそれは決め難い fact13: 「このテレビンは決別する」ということは成り立つ fact14: 仮になにがしかのものは決別するか糸巻戦車でないとすれば立ち上らない fact15: 仮になんらかのものは企業内でないならそれは政治的選択であるし更に親離れだ
fact7 -> int1: 「その人間集団は姉らしくないけど止まる」ということは成り立たない; fact4 -> int2: 「「その人間集団は姉らしいということはないけれど止まる」ということは間違っていない」ということは本当であるということはないとしたら「検証出来る」ということは偽であるということはない; int1 & int2 -> hypothesis;
fact7 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}) -> {A}{aa}; int1 & int2 -> hypothesis;
その人間集団は検証出来ない
fact17 -> int3: もしも「その人間集団は対策プログラムでないかまたは心細い」ということは間違っているなら「検証出来ない」ということは成り立つ; fact22 -> int4: もしこの犬ころは取得し易くないけど親離れだとすると特典でない; fact16 -> int5: その旨屋が決別するか糸巻戦車でないかもしくはどちらもならそれは立ち上らない; fact18 -> int6: 「決別する」ものはある; int6 & fact24 -> int7: その旨屋は決別するかもしくは糸巻戦車でない; int5 & int7 -> int8: その旨屋は立ち上らない; int8 & fact19 -> int9: この犬ころは取得し易いということはない; fact21 -> int10: もし「この張り合いは企業内だということはない」ということは成り立つとすればそれは政治的選択であるし親離れだ; fact23 -> int11: 「そのゼムストボは企業内でないけどどす黒い」ということは成り立つ; int11 -> int12: そのゼムストボは企業内であるということはない; int12 -> int13: あらゆるものは企業内でない; int13 -> int14: この張り合いは企業内でない; int10 & int14 -> int15: この張り合いは政治的選択であるしそれに親離れである; int15 -> int16: あらゆる物は政治的選択で親離れである; int16 -> int17: この犬ころは政治的選択であるしそれは親離れである; int17 -> int18: この犬ころは親離れだ; int9 & int18 -> int19: この犬ころは取得し易くない一方で親離れだ; int4 & int19 -> int20: 「この犬ころは特典でない」ということは事実である;
$facts$ = fact1: もしもある物が決別するとするとその旨屋は決別するかあるいはそれは糸巻戦車でないかあるいはどちらもだ fact2: どれもこれもは企業内でないがどす黒い fact3: 仮にその旨屋が立ち上らないとすればこの犬ころは取得し易くない fact4: 「とあるものは姉らしくないが止まる」ということは真実でないとするとそれは検証出来る fact5: もし仮に「現われ難くない」物はあるなら「その人間集団は対策プログラムでないか心細い」ということは成り立たない fact6: その人間集団は擦れ合う fact7: それは姉らしくない一方で止まるというものはない fact8: ばあかしいしおまけに伸び易いというものはない fact9: 「なんらかのものは対策プログラムでないかそれは心細いかあるいは両方だ」ということは確かであるということはないとすると検証出来ない fact10: 仮にその人間集団が姉らしいとすれば検証出来る fact11: もしも取得し易くないものは親離れであるならそれは特典でない fact12: 仮に「あるものは囁くということはないがそれは苛立たしい」ということは成り立たないならばそれは決め難い fact13: 「このテレビンは決別する」ということは成り立つ fact14: 仮になにがしかのものは決別するか糸巻戦車でないとすれば立ち上らない fact15: 仮になんらかのものは企業内でないならそれは政治的選択であるし更に親離れだ ; $hypothesis$ = その人間集団は検証出来る ; $proof$ = 
fact7 -> int1: 「その人間集団は姉らしくないけど止まる」ということは成り立たない; fact4 -> int2: 「「その人間集団は姉らしいということはないけれど止まる」ということは間違っていない」ということは本当であるということはないとしたら「検証出来る」ということは偽であるということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもある物が決別するとするとその旨屋は決別するかあるいはそれは糸巻戦車でないかあるいはどちらもだ
事実2: どれもこれもは企業内でないがどす黒い
事実3: 仮にその旨屋が立ち上らないとすればこの犬ころは取得し易くない
事実4: 「とあるものは姉らしくないが止まる」ということは真実でないとするとそれは検証出来る
事実5: もし仮に「現われ難くない」物はあるなら「その人間集団は対策プログラムでないか心細い」ということは成り立たない
事実6: その人間集団は擦れ合う
事実7: それは姉らしくない一方で止まるというものはない
事実8: ばあかしいしおまけに伸び易いというものはない
事実9: 「なんらかのものは対策プログラムでないかそれは心細いかあるいは両方だ」ということは確かであるということはないとすると検証出来ない
事実10: 仮にその人間集団が姉らしいとすれば検証出来る
事実11: もしも取得し易くないものは親離れであるならそれは特典でない
事実12: 仮に「あるものは囁くということはないがそれは苛立たしい」ということは成り立たないならばそれは決め難い
事実13: 「このテレビンは決別する」ということは成り立つ
事実14: 仮になにがしかのものは決別するか糸巻戦車でないとすれば立ち上らない
事実15: 仮になんらかのものは企業内でないならそれは政治的選択であるし更に親離れだ

仮説: その人間集団は検証出来る
1. 事実7から、推論1: "「その人間集団は姉らしくないけど止まる」ということは成り立たない"が導かれる
2. 事実4から、推論2: "「「その人間集団は姉らしいということはないけれど止まる」ということは間違っていない」ということは本当であるということはないとしたら「検証出来る」ということは偽であるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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