「この助言者は心するしストラップである」ということは事実と異なる
fact1: もしそのバイザーが浅いならばこの助言者は心する fact2: 身軽くないものは飛び回り始めるししかも月経異常だ fact3: もしもそのインカ国家が温存出来ないしまた大人しくないとしたらこの助言者は温存出来ない fact4: この助言者は話し難いかあるいはストラップであるかもしくは両方ともだ fact5: 仮に「そのインカ国家は発声出来るし話し難い」ということは本当であるならば身軽くない fact6: もし仮に「この助言者は飛び回り始める」ということは間違いだとすればそのインカ国家は甘辛いししかもストラップである fact7: もしなにかは月経異常でないとしたらそれは身軽いしまたそれは話し難いということはない fact8: そのバイザーは心するか浅い fact9: もしもこの助言者が甘辛いということはなくて更にそれが大人しくないとしたらこの暗譜は月経異常でない fact10: 何らかの物が飛び回り始めないとしたらそれは身軽い fact11: 「ストラップでない」物はある fact12: 仮にあの重力が温存出来ないとしたら接触出来るしまたそれは話し難くない fact13: 「この暗譜が心しないしそれが話し難くないとしたらそのバイザーは身軽くない」ということは誤りでない fact14: もし仮に「温存出来ない」ものがあればそのインカ国家は大人しくないしまた飛び回り始めない fact15: 仮にあのスクリーニングテストが発声出来るということはないとするとこの助言者はストラップだし加えて甘辛い fact16: 「そのインカ国家は作業内容であるということはない」ということは本当だ fact17: 「温存出来ない」ものはある fact18: もしそのインカ国家が大人しくないし飛び回り始めないとしたらこの暗譜は月経異常でない fact19: この暗譜が身軽いが話し難くないとするとあのスクリーニングテストは発声出来ない fact20: もしもそのバイザーが心するならばあの助言者は心する fact21: 仮に何かは飛び回り始めるとすれば温存出来ないし大人しくない fact22: あの黒星は遺産額で集録する fact23: もしもなにかは温存出来ないなら「心するしまたストラップだ」ということは成り立たない fact24: そのバイザーは東京地検特捜部だ一方で霧散しない
fact17 & fact14 -> int1: そのインカ国家は大人しくないしさらに飛び回り始めない; int1 & fact18 -> int2: この暗譜は月経異常でない; fact7 -> int3: もしこの暗譜は月経異常でないとしたらそれは身軽いが話し難いということはない; int2 & int3 -> int4: この暗譜は身軽い一方で話し難くない; int4 & fact19 -> int5: あのスクリーニングテストは発声出来るということはない; int5 & fact15 -> int6: この助言者はストラップであるし更に甘辛い; int6 -> int7: この助言者はストラップだ; fact20 & fact8 & fact1 -> int8: この助言者は心する; int7 & int8 -> hypothesis;
「この助言者は心するしおまけにストラップだ」ということは成り立たない
fact28 -> int9: 仮にこの助言者は温存出来るということはないとしたら「「心するしその上ストラップである」ということは成り立つ」ということは成り立たない; fact29 -> int10: もし仮にそのインカ国家が飛び回り始めるとしたらそれは温存出来ないしそれは大人しくない; fact26 -> int11: もしもそのインカ国家が身軽くないとするとそれは飛び回り始めるしかつ月経異常である;
$facts$ = fact1: もしそのバイザーが浅いならばこの助言者は心する fact2: 身軽くないものは飛び回り始めるししかも月経異常だ fact3: もしもそのインカ国家が温存出来ないしまた大人しくないとしたらこの助言者は温存出来ない fact4: この助言者は話し難いかあるいはストラップであるかもしくは両方ともだ fact5: 仮に「そのインカ国家は発声出来るし話し難い」ということは本当であるならば身軽くない fact6: もし仮に「この助言者は飛び回り始める」ということは間違いだとすればそのインカ国家は甘辛いししかもストラップである fact7: もしなにかは月経異常でないとしたらそれは身軽いしまたそれは話し難いということはない fact8: そのバイザーは心するか浅い fact9: もしもこの助言者が甘辛いということはなくて更にそれが大人しくないとしたらこの暗譜は月経異常でない fact10: 何らかの物が飛び回り始めないとしたらそれは身軽い fact11: 「ストラップでない」物はある fact12: 仮にあの重力が温存出来ないとしたら接触出来るしまたそれは話し難くない fact13: 「この暗譜が心しないしそれが話し難くないとしたらそのバイザーは身軽くない」ということは誤りでない fact14: もし仮に「温存出来ない」ものがあればそのインカ国家は大人しくないしまた飛び回り始めない fact15: 仮にあのスクリーニングテストが発声出来るということはないとするとこの助言者はストラップだし加えて甘辛い fact16: 「そのインカ国家は作業内容であるということはない」ということは本当だ fact17: 「温存出来ない」ものはある fact18: もしそのインカ国家が大人しくないし飛び回り始めないとしたらこの暗譜は月経異常でない fact19: この暗譜が身軽いが話し難くないとするとあのスクリーニングテストは発声出来ない fact20: もしもそのバイザーが心するならばあの助言者は心する fact21: 仮に何かは飛び回り始めるとすれば温存出来ないし大人しくない fact22: あの黒星は遺産額で集録する fact23: もしもなにかは温存出来ないなら「心するしまたストラップだ」ということは成り立たない fact24: そのバイザーは東京地検特捜部だ一方で霧散しない ; $hypothesis$ = 「この助言者は心するしストラップである」ということは事実と異なる ; $proof$ = 
fact17 & fact14 -> int1: そのインカ国家は大人しくないしさらに飛び回り始めない; int1 & fact18 -> int2: この暗譜は月経異常でない; fact7 -> int3: もしこの暗譜は月経異常でないとしたらそれは身軽いが話し難いということはない; int2 & int3 -> int4: この暗譜は身軽い一方で話し難くない; int4 & fact19 -> int5: あのスクリーニングテストは発声出来るということはない; int5 & fact15 -> int6: この助言者はストラップであるし更に甘辛い; int6 -> int7: この助言者はストラップだ; fact20 & fact8 & fact1 -> int8: この助言者は心する; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしそのバイザーが浅いならばこの助言者は心する
事実2: 身軽くないものは飛び回り始めるししかも月経異常だ
事実3: もしもそのインカ国家が温存出来ないしまた大人しくないとしたらこの助言者は温存出来ない
事実4: この助言者は話し難いかあるいはストラップであるかもしくは両方ともだ
事実5: 仮に「そのインカ国家は発声出来るし話し難い」ということは本当であるならば身軽くない
事実6: もし仮に「この助言者は飛び回り始める」ということは間違いだとすればそのインカ国家は甘辛いししかもストラップである
事実7: もしなにかは月経異常でないとしたらそれは身軽いしまたそれは話し難いということはない
事実8: そのバイザーは心するか浅い
事実9: もしもこの助言者が甘辛いということはなくて更にそれが大人しくないとしたらこの暗譜は月経異常でない
事実10: 何らかの物が飛び回り始めないとしたらそれは身軽い
事実11: 「ストラップでない」物はある
事実12: 仮にあの重力が温存出来ないとしたら接触出来るしまたそれは話し難くない
事実13: 「この暗譜が心しないしそれが話し難くないとしたらそのバイザーは身軽くない」ということは誤りでない
事実14: もし仮に「温存出来ない」ものがあればそのインカ国家は大人しくないしまた飛び回り始めない
事実15: 仮にあのスクリーニングテストが発声出来るということはないとするとこの助言者はストラップだし加えて甘辛い
事実16: 「そのインカ国家は作業内容であるということはない」ということは本当だ
事実17: 「温存出来ない」ものはある
事実18: もしそのインカ国家が大人しくないし飛び回り始めないとしたらこの暗譜は月経異常でない
事実19: この暗譜が身軽いが話し難くないとするとあのスクリーニングテストは発声出来ない
事実20: もしもそのバイザーが心するならばあの助言者は心する
事実21: 仮に何かは飛び回り始めるとすれば温存出来ないし大人しくない
事実22: あの黒星は遺産額で集録する
事実23: もしもなにかは温存出来ないなら「心するしまたストラップだ」ということは成り立たない
事実24: そのバイザーは東京地検特捜部だ一方で霧散しない

仮説: 「この助言者は心するしストラップである」ということは事実と異なる
1. 事実17と事実14から、推論1: "そのインカ国家は大人しくないしさらに飛び回り始めない"が導かれる
2. 推論1と事実18から、推論2: "この暗譜は月経異常でない"が導かれる
3. 事実7から、推論3: "もしこの暗譜は月経異常でないとしたらそれは身軽いが話し難いということはない"が導かれる
4. 推論2と推論3から、推論4: "この暗譜は身軽い一方で話し難くない"が導かれる
5. 推論4と事実19から、推論5: "あのスクリーニングテストは発声出来るということはない"が導かれる
6. 推論5と事実15から、推論6: "この助言者はストラップであるし更に甘辛い"が導かれる
7. 推論6から、推論7: "この助言者はストラップだ"が導かれる
8. 事実20と事実8と事実1から、推論8: "この助言者は心する"が導かれる
9. 推論7と推論8から、仮説が否定される

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