「この畚は関心でない」ということは成り立つ
fact1: その公武合体は中国南朝であるしまたそれは欠点だ fact2: 「この異常報告書は平謝りだということはない」ということは確かだ fact3: もし何らかの物は中国南朝であるとすればそれは欠点である fact4: 仮に「なんらかの物は欠点だということはない一方で関心である」ということは間違いであるとするとそれは関心でない fact5: この青唐辛子が完備しないとすればこの配置替えは完備する fact6: 「その公武合体は欠点である」ということは成り立つ fact7: あるものが完備するとすればそれは実用する fact8: 仮にその公武合体が中国南朝であるならばこの畚は実用する fact9: もしもこの畚は実用するなら「それは関心である」ということは真実である fact10: もし仮に「この異常報告書は平謝りでない」ということは真実だとすると「それが全面リフォームするということはないしさらにそれは政府系金融機関でない」ということは成り立つということはない fact11: その煮立ちは関心だ fact12: もしなんらかの物が政府系金融機関だとすればそれは出現し易いか完備しないかまたは両方だ fact13: もしもこの青唐辛子が出現し易いとすればあの配置替えは完備する fact14: 仮にこの配置替えが中国南朝であるならばその公武合体は欠点だ fact15: もしも「この異常報告書が全面リフォームしないしさらに政府系金融機関でない」ということは嘘であるなら「この青唐辛子は政府系金融機関だ」ということは真実だ
fact1 -> int1: その公武合体は中国南朝だ; int1 & fact8 -> int2: この畚は実用する; int2 & fact9 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact9 -> hypothesis;
この畚は関心でない
fact17 -> int3: 仮に「この畚は欠点でないがしかし関心である」ということは誤りであるならば関心でない; fact16 -> int4: 「もしこの配置替えが完備するとしたらこの配置替えは実用する」ということは成り立つ; fact21 -> int5: もし仮にこの青唐辛子が政府系金融機関であるとするとそれは出現し易いかそれは完備しない; fact24 & fact20 -> int6: 「「この異常報告書は全面リフォームしなくておまけに政府系金融機関であるということはない」ということは誤りでない」ということは誤りである; fact18 & int6 -> int7: 「この青唐辛子は政府系金融機関だ」ということは本当だ; int5 & int7 -> int8: この青唐辛子は出現し易いかあるいは完備しないかまたはどちらもである; int8 & fact19 & fact22 -> int9: この配置替えは完備する; int4 & int9 -> int10: この配置替えは実用する;
$facts$ = fact1: その公武合体は中国南朝であるしまたそれは欠点だ fact2: 「この異常報告書は平謝りだということはない」ということは確かだ fact3: もし何らかの物は中国南朝であるとすればそれは欠点である fact4: 仮に「なんらかの物は欠点だということはない一方で関心である」ということは間違いであるとするとそれは関心でない fact5: この青唐辛子が完備しないとすればこの配置替えは完備する fact6: 「その公武合体は欠点である」ということは成り立つ fact7: あるものが完備するとすればそれは実用する fact8: 仮にその公武合体が中国南朝であるならばこの畚は実用する fact9: もしもこの畚は実用するなら「それは関心である」ということは真実である fact10: もし仮に「この異常報告書は平謝りでない」ということは真実だとすると「それが全面リフォームするということはないしさらにそれは政府系金融機関でない」ということは成り立つということはない fact11: その煮立ちは関心だ fact12: もしなんらかの物が政府系金融機関だとすればそれは出現し易いか完備しないかまたは両方だ fact13: もしもこの青唐辛子が出現し易いとすればあの配置替えは完備する fact14: 仮にこの配置替えが中国南朝であるならばその公武合体は欠点だ fact15: もしも「この異常報告書が全面リフォームしないしさらに政府系金融機関でない」ということは嘘であるなら「この青唐辛子は政府系金融機関だ」ということは真実だ ; $hypothesis$ = 「この畚は関心でない」ということは成り立つ ; $proof$ = 
fact1 -> int1: その公武合体は中国南朝だ; int1 & fact8 -> int2: この畚は実用する; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: その公武合体は中国南朝であるしまたそれは欠点だ
事実2: 「この異常報告書は平謝りだということはない」ということは確かだ
事実3: もし何らかの物は中国南朝であるとすればそれは欠点である
事実4: 仮に「なんらかの物は欠点だということはない一方で関心である」ということは間違いであるとするとそれは関心でない
事実5: この青唐辛子が完備しないとすればこの配置替えは完備する
事実6: 「その公武合体は欠点である」ということは成り立つ
事実7: あるものが完備するとすればそれは実用する
事実8: 仮にその公武合体が中国南朝であるならばこの畚は実用する
事実9: もしもこの畚は実用するなら「それは関心である」ということは真実である
事実10: もし仮に「この異常報告書は平謝りでない」ということは真実だとすると「それが全面リフォームするということはないしさらにそれは政府系金融機関でない」ということは成り立つということはない
事実11: その煮立ちは関心だ
事実12: もしなんらかの物が政府系金融機関だとすればそれは出現し易いか完備しないかまたは両方だ
事実13: もしもこの青唐辛子が出現し易いとすればあの配置替えは完備する
事実14: 仮にこの配置替えが中国南朝であるならばその公武合体は欠点だ
事実15: もしも「この異常報告書が全面リフォームしないしさらに政府系金融機関でない」ということは嘘であるなら「この青唐辛子は政府系金融機関だ」ということは真実だ

仮説: 「この畚は関心でない」ということは成り立つ
1. 事実1から、推論1: "その公武合体は中国南朝だ"が導かれる
2. 推論1と事実8から、推論2: "この畚は実用する"が導かれる
3. 推論2と事実9から、仮説が否定される

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