この学校教育法は寒々しいということはない
fact1: このスポーツ選手は三連勝しない fact2: 仮に「とあるものは三連勝しないけど寒々しい」ということは偽であるとすればそれは寒々しかない fact3: この積極説は捻くれない一方で赤黒い fact4: もしこの福引きが三連勝するがしかしＨνでないならばあのスポーツ選手は極まり悪い fact5: 仮にその総議会は捕虜であるとすれば「それは恋しがるしそれは切り難くない」ということは成り立たない fact6: もしもこの積極説が捻くれないが赤黒いとしたらこの福引きはＨνでない fact7: 愛しい物は極まり悪い fact8: 仮に「コミュニケーション出来ないがしかし地下深い」物があるならこの福引きは立案する fact9: 極まり悪い物はＨνだ fact10: 「コミュニケーション出来なくて更に地下深い」物はある fact11: もし仮にこの学校教育法がＨνならばそれは寒々しい fact12: 仮になんらかのものはＨνであるならば「それは三連勝しなくて寒々しい」ということは嘘だ fact13: もしも「このスポーツ選手は愛しい」ということは事実ならばこの学校教育法は寒々しい fact14: 仮に愛しくない物が極まり悪くないとするとＨνでない fact15: 「もし仮にこのスポーツ選手が地元商店街でないとしたらこの積極説は契約するしそれは広がり難い」ということは成り立つ fact16: 何らかの物は契約するしまたそれは立案する fact17: 仮にある物が三連勝するということはないが赤黒いならこのスポーツ選手は愛しい fact18: もしこの積極説が捻くれるし加えて赤黒いならば「この福引きはＨνでない」ということは本当だ fact19: 「この学校教育法は契約する」ということは確かだ fact20: もし仮に「何らかの物は極まり悪い」ということは本当であるなら愛しい fact21: その総議会は捕虜である fact22: 仮にこの福引きが立案するとしたらこの積極説は立案する fact23: その乗り心地は愛しくない fact24: もし「契約しないが立案する」物があるとしたらこの福引きは三連勝する fact25: 「「恋しがるし更に切り難くない」ということは偽な」ものがあればこのスポーツ選手は地元商店街でない fact26: 何らかの物は契約しないけれど立案する
fact6 & fact3 -> int1: 「この福引きはＨνでない」ということは真実である; fact24 & fact26 -> int2: この福引きは三連勝する; int1 & int2 -> int3: この福引きは三連勝するけれどＨνでない; int3 & fact4 -> int4: このスポーツ選手は極まり悪い; fact20 -> int5: もしもこのスポーツ選手は極まり悪いとすれば「愛しい」ということは成り立つ; int4 & int5 -> int6: このスポーツ選手は愛しい; int6 & fact13 -> hypothesis;
この学校教育法は寒々しいということはない
fact30 -> int7: 仮に「この学校教育法は三連勝しないけれど寒々しい」ということは間違っているとすると「寒々しかない」ということは本当である; fact31 -> int8: 仮にこの学校教育法はＨνならば「それは三連勝しない一方で寒々しい」ということは事実と異なる; fact33 -> int9: 仮にこの学校教育法が極まり悪いならＨνだ; fact29 -> int10: もし仮にこの学校教育法が愛しいとすればそれは極まり悪い; fact34 & fact36 -> int11: 「その総議会は恋しがる一方でそれは切り難くない」ということは確かでない; int11 -> int12: 「「恋しがるししかも切り難くない」ということは成り立たない」ものはある; int12 & fact32 -> int13: このスポーツ選手は地元商店街でない; fact35 & int13 -> int14: この積極説は契約するしそれは広がり難い; int14 -> int15: この積極説は契約する; fact37 & fact27 -> int16: この福引きは立案する; fact28 & int16 -> int17: この積極説は立案する; int15 & int17 -> int18: この積極説は契約するし立案する; int18 -> int19: 何らかのものは契約するしその上立案する;
$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: もし「契約しないが立案する」物があるとしたらこの福引きは三連勝する fact25: 「「恋しがるし更に切り難くない」ということは偽な」ものがあればこのスポーツ選手は地元商店街でない fact26: 何らかの物は契約しないけれど立案する ; $hypothesis$ = この学校教育法は寒々しいということはない ; $proof$ = 
fact6 & fact3 -> int1: 「この福引きはＨνでない」ということは真実である; fact24 & fact26 -> int2: この福引きは三連勝する; int1 & int2 -> int3: この福引きは三連勝するけれどＨνでない; int3 & fact4 -> int4: このスポーツ選手は極まり悪い; fact20 -> int5: もしもこのスポーツ選手は極まり悪いとすれば「愛しい」ということは成り立つ; int4 & int5 -> int6: このスポーツ選手は愛しい; int6 & fact13 -> 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: もし「契約しないが立案する」物があるとしたらこの福引きは三連勝する
事実25: 「「恋しがるし更に切り難くない」ということは偽な」ものがあればこのスポーツ選手は地元商店街でない
事実26: 何らかの物は契約しないけれど立案する

仮説: この学校教育法は寒々しいということはない
1. 事実6と事実3から、推論1: "「この福引きはＨνでない」ということは真実である"が導かれる
2. 事実24と事実26から、推論2: "この福引きは三連勝する"が導かれる
3. 推論1と推論2から、推論3: "この福引きは三連勝するけれどＨνでない"が導かれる
4. 推論3と事実4から、推論4: "このスポーツ選手は極まり悪い"が導かれる
5. 事実20から、推論5: "もしもこのスポーツ選手は極まり悪いとすれば「愛しい」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "このスポーツ選手は愛しい"が導かれる
7. 推論6と事実13から、仮説が否定される

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