その写真機は錯乱状態である
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: この考え無しは挑戦す
fact23 & fact5 -> int1: 「「このユーザー層は山間でまたせっかち過ぎる」ということは真実である」ということは成り立たない; int1 -> int2: 「「「山間だしせっかち過ぎる」ということは事実と異なる」物はある」ということは本当である; int2 & fact24 -> int3: この考え無しは流動負債である; int3 -> int4: 「流動負債な」ものはある; int4 & fact11 -> int5: 「そのＶＩＮは挑戦すかまたは捏ねないかまたは両方ともだ」ということは成り立たない; int5 & fact6 -> int6: そのＶＩＮはリバーススラストでない; int6 & fact2 -> int7: 「その陪臣はリバーススラストであるかまたは強化出来ない」ということは成り立たない; int7 & fact10 -> hypothesis;
その写真機は錯乱状態でない
fact26 -> int8: もしその写真機がシナプス後部・細胞体部・シナプス前部複合体でないけれどそれは流動負債だとすれば「それは錯乱状態だ」ということは嘘だ; fact29 -> int9: もしも「その写真機は挑戦すらない」ということは成り立つならそれはシナプス後部・細胞体部・シナプス前部複合体でなくてそれは流動負債だ; fact27 & fact28 -> int10: そのＶＩＮは強化出来るかあるいはそれは陥凹する;
$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$ = 
fact23 & fact5 -> int1: 「「このユーザー層は山間でまたせっかち過ぎる」ということは真実である」ということは成り立たない; int1 -> int2: 「「「山間だしせっかち過ぎる」ということは事実と異なる」物はある」ということは本当である; int2 & fact24 -> int3: この考え無しは流動負債である; int3 -> int4: 「流動負債な」ものはある; int4 & fact11 -> int5: 「そのＶＩＮは挑戦すかまたは捏ねないかまたは両方ともだ」ということは成り立たない; int5 & fact6 -> int6: そのＶＩＮはリバーススラストでない; int6 & fact2 -> int7: 「その陪臣はリバーススラストであるかまたは強化出来ない」ということは成り立たない; int7 & fact10 -> hypothesis; __PROVED__
事実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. 事実23と事実5から、推論1: "「「このユーザー層は山間でまたせっかち過ぎる」ということは真実である」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「「山間だしせっかち過ぎる」ということは事実と異なる」物はある」ということは本当である"が導かれる
3. 推論2と事実24から、推論3: "この考え無しは流動負債である"が導かれる
4. 推論3から、推論4: "「流動負債な」ものはある"が導かれる
5. 推論4と事実11から、推論5: "「そのＶＩＮは挑戦すかまたは捏ねないかまたは両方ともだ」ということは成り立たない"が導かれる
6. 推論5と事実6から、推論6: "そのＶＩＮはリバーススラストでない"が導かれる
7. 推論6と事実2から、推論7: "「その陪臣はリバーススラストであるかまたは強化出来ない」ということは成り立たない"が導かれる
8. 推論7と事実10から、仮説が導かれる

よって、仮説が証明されました。