「その上場審査は威張り散らさないが腹部超音波検査である」ということは誤っている
fact1: もし仮になにがしかの物が相互作用すればそれは割れ易い fact2: その認知科学は引っ掴めば「そのアクティブ八十ヘルスプランは進め易い」ということは成り立たない fact3: もしなんらかのものは外尿道口でないとしたら野太いし更に心苦しい fact4: もし腹部超音波検査が心苦しいならばそれは割れ易くない fact5: 進め易い物は引っ掴むということはないしさらに外尿道口でない fact6: その認知科学は心苦しい fact7: もしもこの絨毯が割れ易いならばその上場審査は威張り散らさないがそれは腹部超音波検査である fact8: もしも何かは窮迫するがそれが進め易くないとすればシリアル化する fact9: その上場審査は威張り散らさない fact10: そのアクティブ八十ヘルスプランは進め易いということはない fact11: もし仮にその認知科学が引っ掴むとすればあのアクティブ八十ヘルスプランは窮迫するがしかし進め易くない fact12: もし仮になにがしかのものは野太いとすれば「「それは威張り散らさない一方で腹部超音波検査だ」ということは嘘でない」ということは誤りだ fact13: 仮にそのアクティブ八十ヘルスプランが進め易いとすればこの絨毯は腹部超音波検査だが相互作用しない fact14: その認知科学はシリアル化する fact15: もし「そのアクティブ八十ヘルスプランはシリアル化する」ということは事実と異ならないとしたらこの絨毯は相互作用する fact16: その認知科学は野太い fact17: 野太いしその上心苦しい物は外尿道口でない fact18: もしなにがしかのものは外尿道口でないとするとそれは引っ掴む fact19: もしもなにかは窮迫するしかつ進め易いとするとシリアル化する
fact16 & fact6 -> int1: その認知科学は野太くてかつ心苦しい; fact17 -> int2: その認知科学が野太いしさらにそれが心苦しいなら外尿道口でない; int1 & int2 -> int3: その認知科学は外尿道口でない; fact18 -> int4: もしもその認知科学は外尿道口でないとするとそれは引っ掴む; int3 & int4 -> int5: その認知科学は引っ掴む; int5 & fact11 -> int6: そのアクティブ八十ヘルスプランは窮迫するがそれは進め易くない; fact8 -> int7: もしそのアクティブ八十ヘルスプランが窮迫するけど進め易くないとするとシリアル化する; int6 & int7 -> int8: そのアクティブ八十ヘルスプランはシリアル化する; int8 & fact15 -> int9: 「この絨毯は相互作用する」ということは成り立つ; fact1 -> int10: 「この絨毯は相互作用する」ということは確かだとすると「割れ易い」ということは事実である; int9 & int10 -> int11: この絨毯は割れ易い; int11 & fact7 -> hypothesis;
「その上場審査は威張り散らさないけれど腹部超音波検査だ」ということは間違いである
fact22 -> int12: 仮にその上場審査は野太いならば「それは威張り散らさないがしかし腹部超音波検査だ」ということは成り立たない; fact21 -> int13: もし「その上場審査は外尿道口でない」ということは成り立つとしたら野太いし加えてそれは心苦しい; fact20 -> int14: もし仮にその上場審査が進め易いとするとそれは引っ掴まなくて外尿道口であるということはない;
$facts$ = fact1: もし仮になにがしかの物が相互作用すればそれは割れ易い fact2: その認知科学は引っ掴めば「そのアクティブ八十ヘルスプランは進め易い」ということは成り立たない fact3: もしなんらかのものは外尿道口でないとしたら野太いし更に心苦しい fact4: もし腹部超音波検査が心苦しいならばそれは割れ易くない fact5: 進め易い物は引っ掴むということはないしさらに外尿道口でない fact6: その認知科学は心苦しい fact7: もしもこの絨毯が割れ易いならばその上場審査は威張り散らさないがそれは腹部超音波検査である fact8: もしも何かは窮迫するがそれが進め易くないとすればシリアル化する fact9: その上場審査は威張り散らさない fact10: そのアクティブ八十ヘルスプランは進め易いということはない fact11: もし仮にその認知科学が引っ掴むとすればあのアクティブ八十ヘルスプランは窮迫するがしかし進め易くない fact12: もし仮になにがしかのものは野太いとすれば「「それは威張り散らさない一方で腹部超音波検査だ」ということは嘘でない」ということは誤りだ fact13: 仮にそのアクティブ八十ヘルスプランが進め易いとすればこの絨毯は腹部超音波検査だが相互作用しない fact14: その認知科学はシリアル化する fact15: もし「そのアクティブ八十ヘルスプランはシリアル化する」ということは事実と異ならないとしたらこの絨毯は相互作用する fact16: その認知科学は野太い fact17: 野太いしその上心苦しい物は外尿道口でない fact18: もしなにがしかのものは外尿道口でないとするとそれは引っ掴む fact19: もしもなにかは窮迫するしかつ進め易いとするとシリアル化する ; $hypothesis$ = 「その上場審査は威張り散らさないが腹部超音波検査である」ということは誤っている ; $proof$ = 
fact16 & fact6 -> int1: その認知科学は野太くてかつ心苦しい; fact17 -> int2: その認知科学が野太いしさらにそれが心苦しいなら外尿道口でない; int1 & int2 -> int3: その認知科学は外尿道口でない; fact18 -> int4: もしもその認知科学は外尿道口でないとするとそれは引っ掴む; int3 & int4 -> int5: その認知科学は引っ掴む; int5 & fact11 -> int6: そのアクティブ八十ヘルスプランは窮迫するがそれは進め易くない; fact8 -> int7: もしそのアクティブ八十ヘルスプランが窮迫するけど進め易くないとするとシリアル化する; int6 & int7 -> int8: そのアクティブ八十ヘルスプランはシリアル化する; int8 & fact15 -> int9: 「この絨毯は相互作用する」ということは成り立つ; fact1 -> int10: 「この絨毯は相互作用する」ということは確かだとすると「割れ易い」ということは事実である; int9 & int10 -> int11: この絨毯は割れ易い; int11 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物が相互作用すればそれは割れ易い
事実2: その認知科学は引っ掴めば「そのアクティブ八十ヘルスプランは進め易い」ということは成り立たない
事実3: もしなんらかのものは外尿道口でないとしたら野太いし更に心苦しい
事実4: もし腹部超音波検査が心苦しいならばそれは割れ易くない
事実5: 進め易い物は引っ掴むということはないしさらに外尿道口でない
事実6: その認知科学は心苦しい
事実7: もしもこの絨毯が割れ易いならばその上場審査は威張り散らさないがそれは腹部超音波検査である
事実8: もしも何かは窮迫するがそれが進め易くないとすればシリアル化する
事実9: その上場審査は威張り散らさない
事実10: そのアクティブ八十ヘルスプランは進め易いということはない
事実11: もし仮にその認知科学が引っ掴むとすればあのアクティブ八十ヘルスプランは窮迫するがしかし進め易くない
事実12: もし仮になにがしかのものは野太いとすれば「「それは威張り散らさない一方で腹部超音波検査だ」ということは嘘でない」ということは誤りだ
事実13: 仮にそのアクティブ八十ヘルスプランが進め易いとすればこの絨毯は腹部超音波検査だが相互作用しない
事実14: その認知科学はシリアル化する
事実15: もし「そのアクティブ八十ヘルスプランはシリアル化する」ということは事実と異ならないとしたらこの絨毯は相互作用する
事実16: その認知科学は野太い
事実17: 野太いしその上心苦しい物は外尿道口でない
事実18: もしなにがしかのものは外尿道口でないとするとそれは引っ掴む
事実19: もしもなにかは窮迫するしかつ進め易いとするとシリアル化する

仮説: 「その上場審査は威張り散らさないが腹部超音波検査である」ということは誤っている
1. 事実16と事実6から、推論1: "その認知科学は野太くてかつ心苦しい"が導かれる
2. 事実17から、推論2: "その認知科学が野太いしさらにそれが心苦しいなら外尿道口でない"が導かれる
3. 推論1と推論2から、推論3: "その認知科学は外尿道口でない"が導かれる
4. 事実18から、推論4: "もしもその認知科学は外尿道口でないとするとそれは引っ掴む"が導かれる
5. 推論3と推論4から、推論5: "その認知科学は引っ掴む"が導かれる
6. 推論5と事実11から、推論6: "そのアクティブ八十ヘルスプランは窮迫するがそれは進め易くない"が導かれる
7. 事実8から、推論7: "もしそのアクティブ八十ヘルスプランが窮迫するけど進め易くないとするとシリアル化する"が導かれる
8. 推論6と推論7から、推論8: "そのアクティブ八十ヘルスプランはシリアル化する"が導かれる
9. 推論8と事実15から、推論9: "「この絨毯は相互作用する」ということは成り立つ"が導かれる
10. 事実1から、推論10: "「この絨毯は相互作用する」ということは確かだとすると「割れ易い」ということは事実である"が導かれる
11. 推論9と推論10から、推論11: "この絨毯は割れ易い"が導かれる
12. 推論11と事実7から、仮説が否定される

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