この悪阻は協働する
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: 「その仮説実験授業はＵＳイングだがしかしそれは才女でない」ということは成り立たない
fact21 -> int1: その換算率は才女だ; int1 & fact16 -> int2: 「その仮説実験授業はＵＳイングであるということはないしさらにそれは才女でない」ということは嘘である; int2 & fact5 -> int3: この悪阻は張り合う; void -> assump1: 以下のように仮定する。この悪阻は協働する; int3 & assump1 -> int4: この悪阻は張り合うしまた協働する; int4 & fact2 -> int5: この悪阻は浸らない; int5 & fact10 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この悪阻は協働する
fact27 -> int7: 仮にこの悪阻が粘り強いということはないとすれば協働するし更にそれは才女だ; fact26 -> int8: 「浸らない」物はある; int8 & fact28 -> int9: この悪阻は張り合うということはないかもしくはＵＳイングであるということはないかあるいは両方だ;
$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: 「その仮説実験授業はＵＳイングだがしかしそれは才女でない」ということは成り立たない ; $hypothesis$ = この悪阻は協働する ; $proof$ = 
fact21 -> int1: その換算率は才女だ; int1 & fact16 -> int2: 「その仮説実験授業はＵＳイングであるということはないしさらにそれは才女でない」ということは嘘である; int2 & fact5 -> int3: この悪阻は張り合う; void -> assump1: 以下のように仮定する。この悪阻は協働する; int3 & assump1 -> int4: この悪阻は張り合うしまた協働する; int4 & fact2 -> int5: この悪阻は浸らない; int5 & fact10 -> int6: これは矛盾である; [assump1] & int6 -> 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: 「その仮説実験授業はＵＳイングだがしかしそれは才女でない」ということは成り立たない

仮説: この悪阻は協働する
1. 事実21から、推論1: "その換算率は才女だ"が導かれる
2. 推論1と事実16から、推論2: "「その仮説実験授業はＵＳイングであるということはないしさらにそれは才女でない」ということは嘘である"が導かれる
3. 推論2と事実5から、推論3: "この悪阻は張り合う"が導かれる
4. 仮定1: 以下のように仮定する。この悪阻は協働する
5. 推論3と仮定1から、推論4: "この悪阻は張り合うしまた協働する"が導かれる
6. 推論4と事実2から、推論5: "この悪阻は浸らない"が導かれる
7. 推論5と事実10から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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