あの平歯車は心理劇だ
fact1: この人格関係は日本人移民だ fact2: もし仮に「なんらかのものはアリシンだがしかし日本人移民でない」ということは誤りだとするとそれは債務負担でない fact3: なにがしかの物はアリシンであるけれど日本人移民でないならばそれは心理劇でない fact4: もしも何かは完全雇用しないとしたら心理劇であるということはないしそれは御意思だ fact5: もしもその御為が様良しということはないしかつ突然変異でないとしたらあのフィニッシュは突然変異でない fact6: この人格関係は御意思でない fact7: エロい物は債務負担である fact8: 仮にあの側乳輪切開部が検索ボタンであるならその御為は完全雇用するということはなくて更にそれは野釣り場でない fact9: あの平歯車は当該契約だが突然変異であるということはない fact10: その御為が様良しならあの側乳輪切開部はエロい fact11: 仮に何かは債務負担であるとしたら様良くなくて更に突然変異だということはない fact12: もし仮にこの人格関係は突然変異でないかあるいは御意思でないかあるいは両方ともであるとしたら「あの側乳輪切開部はエロくない」ということは確かだ fact13: 仮にあの平歯車が債務負担でないならばその御為は様良し fact14: もしなんらかの物が様良しとするとそれは心理劇だ fact15: もし仮に「なんらかのものは心理劇でないけど御意思である」ということは本当であるとすればエロい
fact2 -> int1: もし「あの平歯車はアリシンであるけれど日本人移民でない」ということは嘘であるとすれば債務負担でない; void -> assump1: 以下のように仮定する。「「あの平歯車はアリシンだがしかし日本人移民でない」ということは成り立つ」ということは事実と異なる; int1 & assump1 -> int2: あの平歯車は債務負担でない; int2 & fact13 -> int3: その御為は様良し; int3 & fact10 -> int4: あの側乳輪切開部はエロい; fact6 -> int5: この人格関係は突然変異でないかあるいは御意思でないかもしくは両方である; int5 & fact12 -> int6: あの側乳輪切開部はエロくない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの平歯車はアリシンだけど日本人移民でない; fact3 -> int9: あの平歯車がアリシンであるがそれは日本人移民でないとすると心理劇だということはない; int8 & int9 -> hypothesis;
あのフィニッシュは突然変異でない
fact17 -> int10: 仮にその御為が債務負担だとしたらそれは様良くなくてまた突然変異でない; fact19 -> int11: その御為がエロいとしたらそれは債務負担だ; fact18 -> int12: もしその御為は心理劇であるということはないが御意思であるとするとそれはエロい; fact20 -> int13: もし仮にその御為が完全雇用しないならそれは心理劇でないがしかし御意思である;
$facts$ = fact1: この人格関係は日本人移民だ fact2: もし仮に「なんらかのものはアリシンだがしかし日本人移民でない」ということは誤りだとするとそれは債務負担でない fact3: なにがしかの物はアリシンであるけれど日本人移民でないならばそれは心理劇でない fact4: もしも何かは完全雇用しないとしたら心理劇であるということはないしそれは御意思だ fact5: もしもその御為が様良しということはないしかつ突然変異でないとしたらあのフィニッシュは突然変異でない fact6: この人格関係は御意思でない fact7: エロい物は債務負担である fact8: 仮にあの側乳輪切開部が検索ボタンであるならその御為は完全雇用するということはなくて更にそれは野釣り場でない fact9: あの平歯車は当該契約だが突然変異であるということはない fact10: その御為が様良しならあの側乳輪切開部はエロい fact11: 仮に何かは債務負担であるとしたら様良くなくて更に突然変異だということはない fact12: もし仮にこの人格関係は突然変異でないかあるいは御意思でないかあるいは両方ともであるとしたら「あの側乳輪切開部はエロくない」ということは確かだ fact13: 仮にあの平歯車が債務負担でないならばその御為は様良し fact14: もしなんらかの物が様良しとするとそれは心理劇だ fact15: もし仮に「なんらかのものは心理劇でないけど御意思である」ということは本当であるとすればエロい ; $hypothesis$ = あの平歯車は心理劇だ ; $proof$ = 
fact2 -> int1: もし「あの平歯車はアリシンであるけれど日本人移民でない」ということは嘘であるとすれば債務負担でない; void -> assump1: 以下のように仮定する。「「あの平歯車はアリシンだがしかし日本人移民でない」ということは成り立つ」ということは事実と異なる; int1 & assump1 -> int2: あの平歯車は債務負担でない; int2 & fact13 -> int3: その御為は様良し; int3 & fact10 -> int4: あの側乳輪切開部はエロい; fact6 -> int5: この人格関係は突然変異でないかあるいは御意思でないかもしくは両方である; int5 & fact12 -> int6: あの側乳輪切開部はエロくない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの平歯車はアリシンだけど日本人移民でない; fact3 -> int9: あの平歯車がアリシンであるがそれは日本人移民でないとすると心理劇だということはない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: この人格関係は日本人移民だ
事実2: もし仮に「なんらかのものはアリシンだがしかし日本人移民でない」ということは誤りだとするとそれは債務負担でない
事実3: なにがしかの物はアリシンであるけれど日本人移民でないならばそれは心理劇でない
事実4: もしも何かは完全雇用しないとしたら心理劇であるということはないしそれは御意思だ
事実5: もしもその御為が様良しということはないしかつ突然変異でないとしたらあのフィニッシュは突然変異でない
事実6: この人格関係は御意思でない
事実7: エロい物は債務負担である
事実8: 仮にあの側乳輪切開部が検索ボタンであるならその御為は完全雇用するということはなくて更にそれは野釣り場でない
事実9: あの平歯車は当該契約だが突然変異であるということはない
事実10: その御為が様良しならあの側乳輪切開部はエロい
事実11: 仮に何かは債務負担であるとしたら様良くなくて更に突然変異だということはない
事実12: もし仮にこの人格関係は突然変異でないかあるいは御意思でないかあるいは両方ともであるとしたら「あの側乳輪切開部はエロくない」ということは確かだ
事実13: 仮にあの平歯車が債務負担でないならばその御為は様良し
事実14: もしなんらかの物が様良しとするとそれは心理劇だ
事実15: もし仮に「なんらかのものは心理劇でないけど御意思である」ということは本当であるとすればエロい

仮説: あの平歯車は心理劇だ
1. 事実2から、推論1: "もし「あの平歯車はアリシンであるけれど日本人移民でない」ということは嘘であるとすれば債務負担でない"が導かれる
2. 仮定1: 以下のように仮定する。「「あの平歯車はアリシンだがしかし日本人移民でない」ということは成り立つ」ということは事実と異なる
3. 推論1と仮定1から、推論2: "あの平歯車は債務負担でない"が導かれる
4. 推論2と事実13から、推論3: "その御為は様良し"が導かれる
5. 推論3と事実10から、推論4: "あの側乳輪切開部はエロい"が導かれる
6. 事実6から、推論5: "この人格関係は突然変異でないかあるいは御意思でないかもしくは両方である"が導かれる
7. 推論5と事実12から、推論6: "あの側乳輪切開部はエロくない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの平歯車はアリシンだけど日本人移民でない"が導かれる
10. 事実3から、推論9: "あの平歯車がアリシンであるがそれは日本人移民でないとすると心理劇だということはない"が導かれる
11. 推論8と推論9から、仮説が否定される

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