あのフロイト著作集は全文でない
fact1: 仮にあの諸経費支出は移ろい易いということはないならば「その三親等内は暗くて加えて繰り入れる」ということは誤りだ fact2: あの受注引き当ては白黒付ける fact3: 仮に「とある物は暗くてかつ繰り入れる」ということは成り立たないとしたら「智でない」ということは本当だ fact4: 姫蛇の目は自殺防止だ fact5: もしもある物が白黒付ける一方で低しないとしたら智だ fact6: あのフロイト著作集は白黒付ける fact7: 「二重生活であるがしかし連れ込まない」ものがあればあの諸経費支出は移ろい易くない fact8: もしなにがしかの物は智ならば「それは全文である」ということは確かである fact9: その住宅公庫はコースターでない一方でもみもみする fact10: もしその住宅公庫がコースターだということはないけれどもみもみするとするとそれは姫蛇の目である fact11: 「もしその住宅公庫が自殺防止だとするとその管理権限は湧き立つ」ということは本当だ fact12: あのフロイト著作集は低しということはない fact13: あの床部分は真っ暗いがそれは底堅いということはない fact14: もしも「智でない」ものはあるとすれば「あの北朝鮮側は白黒付けないしその上低しない」ということは成り立たない fact15: その管理権限が湧き立つならその非課税範囲は二重生活だがしかしそれは連れ込まない
fact6 & fact12 -> int1: あのフロイト著作集は白黒付けるがしかし低しない; fact5 -> int2: もしもあのフロイト著作集が白黒付けるがそれが低しないとすれば智だ; int1 & int2 -> int3: あのフロイト著作集は智である; fact8 -> int4: もしも「あのフロイト著作集は智だ」ということは成り立つとしたらそれは全文である; int3 & int4 -> hypothesis;
fact6 & fact12 -> int1: ({A}{a} & ¬{B}{a}); fact5 -> int2: ({A}{a} & ¬{B}{a}) -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact8 -> int4: {C}{a} -> {D}{a}; int3 & int4 -> hypothesis;
あのフロイト著作集は全文でない
fact20 -> int5: もし仮に「その三親等内は暗いし更に繰り入れる」ということは事実と異なるなら「「智である」ということは事実である」ということは成り立たない; fact21 -> int6: もしもその住宅公庫は姫蛇の目だとすれば「それは自殺防止だ」ということは正しい; fact22 & fact24 -> int7: その住宅公庫は姫蛇の目だ; int6 & int7 -> int8: その住宅公庫は自殺防止だ; fact16 & int8 -> int9: 「その管理権限は湧き立つ」ということは真実だ; fact23 & int9 -> int10: 「その非課税範囲は二重生活であるけれど連れ込むということはない」ということは成り立つ; int10 -> int11: 「二重生活で連れ込まない」ものはある; int11 & fact18 -> int12: あの諸経費支出は移ろい易くない; fact17 & int12 -> int13: 「その三親等内は暗いし繰り入れる」ということは成り立たない; int5 & int13 -> int14: その三親等内は智でない; int14 -> int15: 「「智でない」ということは事実である」物はある; int15 & fact19 -> int16: 「あの北朝鮮側が白黒付けないしさらに低しない」ということは成り立たない; int16 -> int17: 「「白黒付けないしさらに低しない」ということは成り立たない」物はある;
$facts$ = fact1: 仮にあの諸経費支出は移ろい易いということはないならば「その三親等内は暗くて加えて繰り入れる」ということは誤りだ fact2: あの受注引き当ては白黒付ける fact3: 仮に「とある物は暗くてかつ繰り入れる」ということは成り立たないとしたら「智でない」ということは本当だ fact4: 姫蛇の目は自殺防止だ fact5: もしもある物が白黒付ける一方で低しないとしたら智だ fact6: あのフロイト著作集は白黒付ける fact7: 「二重生活であるがしかし連れ込まない」ものがあればあの諸経費支出は移ろい易くない fact8: もしなにがしかの物は智ならば「それは全文である」ということは確かである fact9: その住宅公庫はコースターでない一方でもみもみする fact10: もしその住宅公庫がコースターだということはないけれどもみもみするとするとそれは姫蛇の目である fact11: 「もしその住宅公庫が自殺防止だとするとその管理権限は湧き立つ」ということは本当だ fact12: あのフロイト著作集は低しということはない fact13: あの床部分は真っ暗いがそれは底堅いということはない fact14: もしも「智でない」ものはあるとすれば「あの北朝鮮側は白黒付けないしその上低しない」ということは成り立たない fact15: その管理権限が湧き立つならその非課税範囲は二重生活だがしかしそれは連れ込まない ; $hypothesis$ = あのフロイト著作集は全文でない ; $proof$ = 
fact6 & fact12 -> int1: あのフロイト著作集は白黒付けるがしかし低しない; fact5 -> int2: もしもあのフロイト著作集が白黒付けるがそれが低しないとすれば智だ; int1 & int2 -> int3: あのフロイト著作集は智である; fact8 -> int4: もしも「あのフロイト著作集は智だ」ということは成り立つとしたらそれは全文である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にあの諸経費支出は移ろい易いということはないならば「その三親等内は暗くて加えて繰り入れる」ということは誤りだ
事実2: あの受注引き当ては白黒付ける
事実3: 仮に「とある物は暗くてかつ繰り入れる」ということは成り立たないとしたら「智でない」ということは本当だ
事実4: 姫蛇の目は自殺防止だ
事実5: もしもある物が白黒付ける一方で低しないとしたら智だ
事実6: あのフロイト著作集は白黒付ける
事実7: 「二重生活であるがしかし連れ込まない」ものがあればあの諸経費支出は移ろい易くない
事実8: もしなにがしかの物は智ならば「それは全文である」ということは確かである
事実9: その住宅公庫はコースターでない一方でもみもみする
事実10: もしその住宅公庫がコースターだということはないけれどもみもみするとするとそれは姫蛇の目である
事実11: 「もしその住宅公庫が自殺防止だとするとその管理権限は湧き立つ」ということは本当だ
事実12: あのフロイト著作集は低しということはない
事実13: あの床部分は真っ暗いがそれは底堅いということはない
事実14: もしも「智でない」ものはあるとすれば「あの北朝鮮側は白黒付けないしその上低しない」ということは成り立たない
事実15: その管理権限が湧き立つならその非課税範囲は二重生活だがしかしそれは連れ込まない

仮説: あのフロイト著作集は全文でない
1. 事実6と事実12から、推論1: "あのフロイト著作集は白黒付けるがしかし低しない"が導かれる
2. 事実5から、推論2: "もしもあのフロイト著作集が白黒付けるがそれが低しないとすれば智だ"が導かれる
3. 推論1と推論2から、推論3: "あのフロイト著作集は智である"が導かれる
4. 事実8から、推論4: "もしも「あのフロイト著作集は智だ」ということは成り立つとしたらそれは全文である"が導かれる
5. 推論3と推論4から、仮説が否定される

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