「もしその紙切れが東風戦であるとするとその籠目は仕方無い」ということは成り立たない
fact1: もし「「見下ろせるけれどユーロでない」ということは成り立たない」ものがあるとすればこの被害者側は産業保健組織である fact2: 「「諸側面だ」ということは本当である」ものはある fact3: 「なんらかのものは東風戦であるし仕方無い」ということは正しい fact4: その紙切れは買い主だ fact5: 「あの脚光は諸側面だし熱い」ということは真実だ fact6: その紙切れは見下ろせる fact7: もしもなにがしかのものが及ばすとすればそれは諸側面である fact8: 「「及ばすし産業保健組織でない」ということは誤っている」物はある fact9: もしなにがしかのものが諸側面であるしそれが東風戦であるとすればその籠目は仕方無い fact10: 「「産業保健組織だが東風戦でない」ということは誤りである」物はある fact11: なんらかの物は産業保健組織であるし東風戦である fact12: 「「「見下ろせるけれどユーロでない」ということは本当である」ということは成り立たない」ものはある fact13: 「「寂しいが外国人配偶者であるということはない」ということは間違いな」物はある fact14: もし仮に「見下ろせない」物があるとしたらこの被害者側は産業保健組織だ fact15: この被害者側が仕方無いとするとその籠目は産業保健組織だ fact16: 「「見下ろせるしユーロだ」ということは誤りな」物はある fact17: 「東風戦な」物はある fact18: この被害者側は東風戦である fact19: 「「仕方無くて加えて及ばさない」ということは間違いである」物があるとしたらその籠目は産業保健組織である fact20: もし仮にこの被害者側は産業保健組織であるなら「その紙切れは及ばす」ということは成り立つ fact21: その籠目は見下ろせる fact22: 「見下ろせるしそれにユーロでない」物はある
fact12 & fact1 -> int1: この被害者側は産業保健組織である; int1 & fact20 -> int2: その紙切れは及ばす; fact7 -> int3: もしその紙切れが及ばすとすると諸側面である; int2 & int3 -> int4: 「その紙切れは諸側面だ」ということは真実だ; void -> assump1: 以下のように仮定する。その紙切れは東風戦だ; int4 & assump1 -> int5: その紙切れは諸側面であるし東風戦だ; int5 -> int6: 何かは諸側面だし東風戦だ; int6 & fact9 -> int7: その籠目は仕方無い; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし「「見下ろせるけれどユーロでない」ということは成り立たない」ものがあるとすればこの被害者側は産業保健組織である fact2: 「「諸側面だ」ということは本当である」ものはある fact3: 「なんらかのものは東風戦であるし仕方無い」ということは正しい fact4: その紙切れは買い主だ fact5: 「あの脚光は諸側面だし熱い」ということは真実だ fact6: その紙切れは見下ろせる fact7: もしもなにがしかのものが及ばすとすればそれは諸側面である fact8: 「「及ばすし産業保健組織でない」ということは誤っている」物はある fact9: もしなにがしかのものが諸側面であるしそれが東風戦であるとすればその籠目は仕方無い fact10: 「「産業保健組織だが東風戦でない」ということは誤りである」物はある fact11: なんらかの物は産業保健組織であるし東風戦である fact12: 「「「見下ろせるけれどユーロでない」ということは本当である」ということは成り立たない」ものはある fact13: 「「寂しいが外国人配偶者であるということはない」ということは間違いな」物はある fact14: もし仮に「見下ろせない」物があるとしたらこの被害者側は産業保健組織だ fact15: この被害者側が仕方無いとするとその籠目は産業保健組織だ fact16: 「「見下ろせるしユーロだ」ということは誤りな」物はある fact17: 「東風戦な」物はある fact18: この被害者側は東風戦である fact19: 「「仕方無くて加えて及ばさない」ということは間違いである」物があるとしたらその籠目は産業保健組織である fact20: もし仮にこの被害者側は産業保健組織であるなら「その紙切れは及ばす」ということは成り立つ fact21: その籠目は見下ろせる fact22: 「見下ろせるしそれにユーロでない」物はある ; $hypothesis$ = 「もしその紙切れが東風戦であるとするとその籠目は仕方無い」ということは成り立たない ; $proof$ = 
fact12 & fact1 -> int1: この被害者側は産業保健組織である; int1 & fact20 -> int2: その紙切れは及ばす; fact7 -> int3: もしその紙切れが及ばすとすると諸側面である; int2 & int3 -> int4: 「その紙切れは諸側面だ」ということは真実だ; void -> assump1: 以下のように仮定する。その紙切れは東風戦だ; int4 & assump1 -> int5: その紙切れは諸側面であるし東風戦だ; int5 -> int6: 何かは諸側面だし東風戦だ; int6 & fact9 -> int7: その籠目は仕方無い; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし「「見下ろせるけれどユーロでない」ということは成り立たない」ものがあるとすればこの被害者側は産業保健組織である
事実2: 「「諸側面だ」ということは本当である」ものはある
事実3: 「なんらかのものは東風戦であるし仕方無い」ということは正しい
事実4: その紙切れは買い主だ
事実5: 「あの脚光は諸側面だし熱い」ということは真実だ
事実6: その紙切れは見下ろせる
事実7: もしもなにがしかのものが及ばすとすればそれは諸側面である
事実8: 「「及ばすし産業保健組織でない」ということは誤っている」物はある
事実9: もしなにがしかのものが諸側面であるしそれが東風戦であるとすればその籠目は仕方無い
事実10: 「「産業保健組織だが東風戦でない」ということは誤りである」物はある
事実11: なんらかの物は産業保健組織であるし東風戦である
事実12: 「「「見下ろせるけれどユーロでない」ということは本当である」ということは成り立たない」ものはある
事実13: 「「寂しいが外国人配偶者であるということはない」ということは間違いな」物はある
事実14: もし仮に「見下ろせない」物があるとしたらこの被害者側は産業保健組織だ
事実15: この被害者側が仕方無いとするとその籠目は産業保健組織だ
事実16: 「「見下ろせるしユーロだ」ということは誤りな」物はある
事実17: 「東風戦な」物はある
事実18: この被害者側は東風戦である
事実19: 「「仕方無くて加えて及ばさない」ということは間違いである」物があるとしたらその籠目は産業保健組織である
事実20: もし仮にこの被害者側は産業保健組織であるなら「その紙切れは及ばす」ということは成り立つ
事実21: その籠目は見下ろせる
事実22: 「見下ろせるしそれにユーロでない」物はある

仮説: 「もしその紙切れが東風戦であるとするとその籠目は仕方無い」ということは成り立たない
1. 事実12と事実1から、推論1: "この被害者側は産業保健組織である"が導かれる
2. 推論1と事実20から、推論2: "その紙切れは及ばす"が導かれる
3. 事実7から、推論3: "もしその紙切れが及ばすとすると諸側面である"が導かれる
4. 推論2と推論3から、推論4: "「その紙切れは諸側面だ」ということは真実だ"が導かれる
5. 仮定1: 以下のように仮定する。その紙切れは東風戦だ
6. 推論4と仮定1から、推論5: "その紙切れは諸側面であるし東風戦だ"が導かれる
7. 推論5から、推論6: "何かは諸側面だし東風戦だ"が導かれる
8. 推論6と事実9から、推論7: "その籠目は仕方無い"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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