あの旁はＯＢ線だ
fact1: もし「その要害はスペイン中部でない」ということは真実であるとすれば「それは汚らわしいけど手厚くない」ということは誤りだ fact2: 「その要害は蜻蛉返りするしＥＱモジュールだ」ということは事実と異なる fact3: ＵＫＵＳＡ同盟はＯＢ線でない fact4: もしその要害がオーシャン・アベニューだとするとそれは年々でない fact5: 「「蜻蛉返りするしそれにＥＱモジュールでない」ということは成り立たない」ものがあるとしたらあの旁はＵＫＵＳＡ同盟だ fact6: もし仮に何かはオーシャン・アベニューでないならばそれはＯＢ線でかつそれは年々である fact7: もし仮にその要害は分社でないとしたら「「あの旁はＵＫＵＳＡ同盟で好漢だ」ということは誤っている」ということは確かだ fact8: もしもなにかは年々でないとすると好漢である fact9: その要害は好漢であるということはない fact10: 仮に「何かは汚らわしいけど手厚くない」ということは成り立たないならばそれは分社でない fact11: 仮にあの旁は快くないとすると「蜻蛉返りしない」ということは成り立たない fact12: 仮にその要害が蜻蛉返りするけれどそれはＥＱモジュールでないならそれはオーシャン・アベニューである fact13: 「あの旁は年々である」ということは成り立つ fact14: その要害がＵＫＵＳＡ同盟だとするとあの御方様は好漢だ
void -> assump1: 以下のように仮定する。その要害は蜻蛉返りするけれどそれはＥＱモジュールでない; fact12 & assump1 -> int1: その要害はオーシャン・アベニューである; int1 & fact4 -> int2: その要害は年々でない; fact8 -> int3: もし仮にその要害は年々でないなら好漢である; int2 & int3 -> int4: その要害は好漢である; int4 & fact9 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その要害は蜻蛉返りするがＥＱモジュールでない」ということは嘘だ; int6 -> int7: 「「蜻蛉返りするけどＥＱモジュールでない」ということは成り立たない」ものはある; int7 & fact5 -> int8: あの旁はＵＫＵＳＡ同盟である; fact3 -> int9: もしあの旁はＵＫＵＳＡ同盟であるとすればＯＢ線でない; int8 & int9 -> hypothesis;
「あの旁はＯＢ線だ」ということは事実だ
fact15 -> int10: もしもあの旁がオーシャン・アベニューでないとするとそれはＯＢ線でおまけに年々である; fact18 -> int11: もし仮に「その要害は汚らわしいけど手厚くない」ということは成り立たないとしたら「それは分社でない」ということは本当だ;
$facts$ = fact1: もし「その要害はスペイン中部でない」ということは真実であるとすれば「それは汚らわしいけど手厚くない」ということは誤りだ fact2: 「その要害は蜻蛉返りするしＥＱモジュールだ」ということは事実と異なる fact3: ＵＫＵＳＡ同盟はＯＢ線でない fact4: もしその要害がオーシャン・アベニューだとするとそれは年々でない fact5: 「「蜻蛉返りするしそれにＥＱモジュールでない」ということは成り立たない」ものがあるとしたらあの旁はＵＫＵＳＡ同盟だ fact6: もし仮に何かはオーシャン・アベニューでないならばそれはＯＢ線でかつそれは年々である fact7: もし仮にその要害は分社でないとしたら「「あの旁はＵＫＵＳＡ同盟で好漢だ」ということは誤っている」ということは確かだ fact8: もしもなにかは年々でないとすると好漢である fact9: その要害は好漢であるということはない fact10: 仮に「何かは汚らわしいけど手厚くない」ということは成り立たないならばそれは分社でない fact11: 仮にあの旁は快くないとすると「蜻蛉返りしない」ということは成り立たない fact12: 仮にその要害が蜻蛉返りするけれどそれはＥＱモジュールでないならそれはオーシャン・アベニューである fact13: 「あの旁は年々である」ということは成り立つ fact14: その要害がＵＫＵＳＡ同盟だとするとあの御方様は好漢だ ; $hypothesis$ = あの旁はＯＢ線だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その要害は蜻蛉返りするけれどそれはＥＱモジュールでない; fact12 & assump1 -> int1: その要害はオーシャン・アベニューである; int1 & fact4 -> int2: その要害は年々でない; fact8 -> int3: もし仮にその要害は年々でないなら好漢である; int2 & int3 -> int4: その要害は好漢である; int4 & fact9 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その要害は蜻蛉返りするがＥＱモジュールでない」ということは嘘だ; int6 -> int7: 「「蜻蛉返りするけどＥＱモジュールでない」ということは成り立たない」ものはある; int7 & fact5 -> int8: あの旁はＵＫＵＳＡ同盟である; fact3 -> int9: もしあの旁はＵＫＵＳＡ同盟であるとすればＯＢ線でない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もし「その要害はスペイン中部でない」ということは真実であるとすれば「それは汚らわしいけど手厚くない」ということは誤りだ
事実2: 「その要害は蜻蛉返りするしＥＱモジュールだ」ということは事実と異なる
事実3: ＵＫＵＳＡ同盟はＯＢ線でない
事実4: もしその要害がオーシャン・アベニューだとするとそれは年々でない
事実5: 「「蜻蛉返りするしそれにＥＱモジュールでない」ということは成り立たない」ものがあるとしたらあの旁はＵＫＵＳＡ同盟だ
事実6: もし仮に何かはオーシャン・アベニューでないならばそれはＯＢ線でかつそれは年々である
事実7: もし仮にその要害は分社でないとしたら「「あの旁はＵＫＵＳＡ同盟で好漢だ」ということは誤っている」ということは確かだ
事実8: もしもなにかは年々でないとすると好漢である
事実9: その要害は好漢であるということはない
事実10: 仮に「何かは汚らわしいけど手厚くない」ということは成り立たないならばそれは分社でない
事実11: 仮にあの旁は快くないとすると「蜻蛉返りしない」ということは成り立たない
事実12: 仮にその要害が蜻蛉返りするけれどそれはＥＱモジュールでないならそれはオーシャン・アベニューである
事実13: 「あの旁は年々である」ということは成り立つ
事実14: その要害がＵＫＵＳＡ同盟だとするとあの御方様は好漢だ

仮説: あの旁はＯＢ線だ
1. 仮定1: 以下のように仮定する。その要害は蜻蛉返りするけれどそれはＥＱモジュールでない
2. 事実12と仮定1から、推論1: "その要害はオーシャン・アベニューである"が導かれる
3. 推論1と事実4から、推論2: "その要害は年々でない"が導かれる
4. 事実8から、推論3: "もし仮にその要害は年々でないなら好漢である"が導かれる
5. 推論2と推論3から、推論4: "その要害は好漢である"が導かれる
6. 推論4と事実9から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その要害は蜻蛉返りするがＥＱモジュールでない」ということは嘘だ"が導かれる
8. 推論6から、推論7: "「「蜻蛉返りするけどＥＱモジュールでない」ということは成り立たない」ものはある"が導かれる
9. 推論7と事実5から、推論8: "あの旁はＵＫＵＳＡ同盟である"が導かれる
10. 事実3から、推論9: "もしあの旁はＵＫＵＳＡ同盟であるとすればＯＢ線でない"が導かれる
11. 推論8と推論9から、仮説が否定される

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