この戦功は本規則だ
fact1: もしも「何かは歌い継がない」ということは確かであるなら「この戦功は歌い継ぐしかつ京都らしい」ということは真実でない fact2: あの大乗院門跡御教書は血統転換でないかあるいは巡り会える fact3: もし「あの艦橋は十万円以上だ」ということは間違いでないとすると「その進入灯は追い上げないししかも姦しいということはない」ということは成り立たない fact4: その手配番数が京都らしくないとするとあの大乗院門跡御教書は本規則で敗北する fact5: 「「なにがしかの物は住み易くないがしかし配慮す」ということは誤りであるということはない」ということは真実だということはないとしたらそれは配慮すらない fact6: 「敗北する」物はあるとすると「その生物体内は住み易いということはないけど配慮す」ということは間違っている fact7: もし仮に「この戦功は歌い継ぐしかつ京都らしい」ということは事実と異なるとしたらその手配番数は京都らしいということはない fact8: もし仮に「「追い上げないし姦しくない」ということは成り立たない」物があるとするとあの全身倦怠感は歌い継がない fact9: 仮に「何かは住み易いかもしくは配慮す」ということは誤っているとすれば本規則でない fact10: 仮にその手配番数は敗北しないとしたら「この戦功は住み易いかまたは配慮すか両方ともだ」ということは成り立たない fact11: 仮にあの大乗院門跡御教書が血統転換でないかあるいはそれが巡り会えるとするとその手配番数は敗北しない fact12: あの艦橋は弱しし十万円以上だ
fact11 & fact2 -> int1: その手配番数は敗北しない; int1 & fact10 -> int2: 「この戦功は住み易いかまたはそれは配慮す」ということは正しいということはない; fact9 -> int3: 「この戦功は住み易いかもしくは配慮すかまたはどちらもだ」ということは成り立つということはないとすればそれは本規則でない; int2 & int3 -> hypothesis;
その生物体内は配慮すらない
fact17 -> int4: もし仮に「その生物体内は住み易くないが配慮す」ということは成り立たないならそれは配慮すらない; fact13 -> int5: あの艦橋は十万円以上である; fact20 & int5 -> int6: 「その進入灯は追い上げないし更にそれは姦しくない」ということは成り立たない; int6 -> int7: 「「追い上げないししかも姦しくない」ということは成り立たない」物はある; int7 & fact14 -> int8: 「あの全身倦怠感は歌い継がない」ということは本当である; int8 -> int9: 「歌い継がない」ものはある; int9 & fact19 -> int10: 「この戦功は歌い継ぐし京都らしい」ということは偽である; fact15 & int10 -> int11: 「その手配番数は京都らしくない」ということは間違いでない; fact18 & int11 -> int12: あの大乗院門跡御教書は本規則だし加えて敗北する; int12 -> int13: あの大乗院門跡御教書は敗北する; int13 -> int14: なにがしかのものは敗北する; int14 & fact16 -> int15: 「その生物体内は住み易いということはないがしかしそれは配慮す」ということは間違っている; int4 & int15 -> hypothesis;
$facts$ = fact1: もしも「何かは歌い継がない」ということは確かであるなら「この戦功は歌い継ぐしかつ京都らしい」ということは真実でない fact2: あの大乗院門跡御教書は血統転換でないかあるいは巡り会える fact3: もし「あの艦橋は十万円以上だ」ということは間違いでないとすると「その進入灯は追い上げないししかも姦しいということはない」ということは成り立たない fact4: その手配番数が京都らしくないとするとあの大乗院門跡御教書は本規則で敗北する fact5: 「「なにがしかの物は住み易くないがしかし配慮す」ということは誤りであるということはない」ということは真実だということはないとしたらそれは配慮すらない fact6: 「敗北する」物はあるとすると「その生物体内は住み易いということはないけど配慮す」ということは間違っている fact7: もし仮に「この戦功は歌い継ぐしかつ京都らしい」ということは事実と異なるとしたらその手配番数は京都らしいということはない fact8: もし仮に「「追い上げないし姦しくない」ということは成り立たない」物があるとするとあの全身倦怠感は歌い継がない fact9: 仮に「何かは住み易いかもしくは配慮す」ということは誤っているとすれば本規則でない fact10: 仮にその手配番数は敗北しないとしたら「この戦功は住み易いかまたは配慮すか両方ともだ」ということは成り立たない fact11: 仮にあの大乗院門跡御教書が血統転換でないかあるいはそれが巡り会えるとするとその手配番数は敗北しない fact12: あの艦橋は弱しし十万円以上だ ; $hypothesis$ = この戦功は本規則だ ; $proof$ = 
fact11 & fact2 -> int1: その手配番数は敗北しない; int1 & fact10 -> int2: 「この戦功は住み易いかまたはそれは配慮す」ということは正しいということはない; fact9 -> int3: 「この戦功は住み易いかもしくは配慮すかまたはどちらもだ」ということは成り立つということはないとすればそれは本規則でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしも「何かは歌い継がない」ということは確かであるなら「この戦功は歌い継ぐしかつ京都らしい」ということは真実でない
事実2: あの大乗院門跡御教書は血統転換でないかあるいは巡り会える
事実3: もし「あの艦橋は十万円以上だ」ということは間違いでないとすると「その進入灯は追い上げないししかも姦しいということはない」ということは成り立たない
事実4: その手配番数が京都らしくないとするとあの大乗院門跡御教書は本規則で敗北する
事実5: 「「なにがしかの物は住み易くないがしかし配慮す」ということは誤りであるということはない」ということは真実だということはないとしたらそれは配慮すらない
事実6: 「敗北する」物はあるとすると「その生物体内は住み易いということはないけど配慮す」ということは間違っている
事実7: もし仮に「この戦功は歌い継ぐしかつ京都らしい」ということは事実と異なるとしたらその手配番数は京都らしいということはない
事実8: もし仮に「「追い上げないし姦しくない」ということは成り立たない」物があるとするとあの全身倦怠感は歌い継がない
事実9: 仮に「何かは住み易いかもしくは配慮す」ということは誤っているとすれば本規則でない
事実10: 仮にその手配番数は敗北しないとしたら「この戦功は住み易いかまたは配慮すか両方ともだ」ということは成り立たない
事実11: 仮にあの大乗院門跡御教書が血統転換でないかあるいはそれが巡り会えるとするとその手配番数は敗北しない
事実12: あの艦橋は弱しし十万円以上だ

仮説: この戦功は本規則だ
1. 事実11と事実2から、推論1: "その手配番数は敗北しない"が導かれる
2. 推論1と事実10から、推論2: "「この戦功は住み易いかまたはそれは配慮す」ということは正しいということはない"が導かれる
3. 事実9から、推論3: "「この戦功は住み易いかもしくは配慮すかまたはどちらもだ」ということは成り立つということはないとすればそれは本規則でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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