このスファル達は近しいしまた覗き直す
fact1: もしもこのスファル達が思しということはないとしたらそれは筆頭家老である fact2: その死刑執行人は立ち行くかそれはけばけばしいかまたは両方だ fact3: このスファル達は援交だ fact4: 「このＰＬ学園は反省すらない」ということは間違いだ fact5: もしもなんらかのものは胡散臭くないならば「それは近しいしまた覗き直す」ということは誤りである fact6: 「あの維持改善は反省すらない」ということは間違いだ fact7: もしその死刑執行人が筆頭家老でないとしたらこのスファル達は受動性でないかあるいは反省すかあるいは両方だ fact8: もし仮にその死刑執行人が立ち行くとしたらあの空格は受動性だ fact9: もし尊厳が反省すとしたらそれは思しない fact10: その死刑執行人は筆頭家老でない fact11: もしこのスファル達は受動性であるということはないかもしくは反省すかまたはどちらもだとすると受動性でない fact12: もし仮にとある物が力強くないなら中華丼だ fact13: このＰＬ学園が反省すればこのスファル達は反省す fact14: ある物は受動性でないとするとけばけばしくてさらに近しい fact15: あの空格が受動性ならばあのスファル達は尊厳である fact16: 仮にその死刑執行人がけばけばしいとすればあの空格は受動性である fact17: もし筆頭家老は援交であるとすると胡散臭くない
fact2 & fact8 & fact16 -> int1: 「あの空格は受動性でない」ということは誤っている; int1 & fact15 -> int2: このスファル達は尊厳である; fact13 & fact4 -> int3: このスファル達は反省す; int2 & int3 -> int4: このスファル達は尊厳で加えて反省す; fact9 -> int5: もし「このスファル達は尊厳で更に反省す」ということは真実であるとしたらそれは思しない; int4 & int5 -> int6: このスファル達は思しない; int6 & fact1 -> int7: このスファル達は筆頭家老だ; int7 & fact3 -> int8: このスファル達は筆頭家老だし更に援交だ; fact17 -> int9: 仮にこのスファル達が筆頭家老であるし援交であるならばそれは胡散臭くない; int8 & int9 -> int10: このスファル達は胡散臭くない; fact5 -> int11: 仮にこのスファル達は胡散臭いということはないとすれば「近しくて覗き直す」ということは成り立たない; int10 & int11 -> hypothesis;
このスファル達は近しいしそれに覗き直す
fact20 -> int12: 仮にこのスファル達が受動性だということはないとするとけばけばしいし近しい; fact19 & fact18 -> int13: このスファル達は受動性でないかもしくはそれは反省す; fact21 & int13 -> int14: 「このスファル達は受動性でない」ということは正しい; int12 & int14 -> int15: このスファル達はけばけばしいし更にそれは近しい; int15 -> int16: このスファル達は近しい;
$facts$ = fact1: もしもこのスファル達が思しということはないとしたらそれは筆頭家老である fact2: その死刑執行人は立ち行くかそれはけばけばしいかまたは両方だ fact3: このスファル達は援交だ fact4: 「このＰＬ学園は反省すらない」ということは間違いだ fact5: もしもなんらかのものは胡散臭くないならば「それは近しいしまた覗き直す」ということは誤りである fact6: 「あの維持改善は反省すらない」ということは間違いだ fact7: もしその死刑執行人が筆頭家老でないとしたらこのスファル達は受動性でないかあるいは反省すかあるいは両方だ fact8: もし仮にその死刑執行人が立ち行くとしたらあの空格は受動性だ fact9: もし尊厳が反省すとしたらそれは思しない fact10: その死刑執行人は筆頭家老でない fact11: もしこのスファル達は受動性であるということはないかもしくは反省すかまたはどちらもだとすると受動性でない fact12: もし仮にとある物が力強くないなら中華丼だ fact13: このＰＬ学園が反省すればこのスファル達は反省す fact14: ある物は受動性でないとするとけばけばしくてさらに近しい fact15: あの空格が受動性ならばあのスファル達は尊厳である fact16: 仮にその死刑執行人がけばけばしいとすればあの空格は受動性である fact17: もし筆頭家老は援交であるとすると胡散臭くない ; $hypothesis$ = このスファル達は近しいしまた覗き直す ; $proof$ = 
fact2 & fact8 & fact16 -> int1: 「あの空格は受動性でない」ということは誤っている; int1 & fact15 -> int2: このスファル達は尊厳である; fact13 & fact4 -> int3: このスファル達は反省す; int2 & int3 -> int4: このスファル達は尊厳で加えて反省す; fact9 -> int5: もし「このスファル達は尊厳で更に反省す」ということは真実であるとしたらそれは思しない; int4 & int5 -> int6: このスファル達は思しない; int6 & fact1 -> int7: このスファル達は筆頭家老だ; int7 & fact3 -> int8: このスファル達は筆頭家老だし更に援交だ; fact17 -> int9: 仮にこのスファル達が筆頭家老であるし援交であるならばそれは胡散臭くない; int8 & int9 -> int10: このスファル達は胡散臭くない; fact5 -> int11: 仮にこのスファル達は胡散臭いということはないとすれば「近しくて覗き直す」ということは成り立たない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もしもこのスファル達が思しということはないとしたらそれは筆頭家老である
事実2: その死刑執行人は立ち行くかそれはけばけばしいかまたは両方だ
事実3: このスファル達は援交だ
事実4: 「このＰＬ学園は反省すらない」ということは間違いだ
事実5: もしもなんらかのものは胡散臭くないならば「それは近しいしまた覗き直す」ということは誤りである
事実6: 「あの維持改善は反省すらない」ということは間違いだ
事実7: もしその死刑執行人が筆頭家老でないとしたらこのスファル達は受動性でないかあるいは反省すかあるいは両方だ
事実8: もし仮にその死刑執行人が立ち行くとしたらあの空格は受動性だ
事実9: もし尊厳が反省すとしたらそれは思しない
事実10: その死刑執行人は筆頭家老でない
事実11: もしこのスファル達は受動性であるということはないかもしくは反省すかまたはどちらもだとすると受動性でない
事実12: もし仮にとある物が力強くないなら中華丼だ
事実13: このＰＬ学園が反省すればこのスファル達は反省す
事実14: ある物は受動性でないとするとけばけばしくてさらに近しい
事実15: あの空格が受動性ならばあのスファル達は尊厳である
事実16: 仮にその死刑執行人がけばけばしいとすればあの空格は受動性である
事実17: もし筆頭家老は援交であるとすると胡散臭くない

仮説: このスファル達は近しいしまた覗き直す
1. 事実2と事実8と事実16から、推論1: "「あの空格は受動性でない」ということは誤っている"が導かれる
2. 推論1と事実15から、推論2: "このスファル達は尊厳である"が導かれる
3. 事実13と事実4から、推論3: "このスファル達は反省す"が導かれる
4. 推論2と推論3から、推論4: "このスファル達は尊厳で加えて反省す"が導かれる
5. 事実9から、推論5: "もし「このスファル達は尊厳で更に反省す」ということは真実であるとしたらそれは思しない"が導かれる
6. 推論4と推論5から、推論6: "このスファル達は思しない"が導かれる
7. 推論6と事実1から、推論7: "このスファル達は筆頭家老だ"が導かれる
8. 推論7と事実3から、推論8: "このスファル達は筆頭家老だし更に援交だ"が導かれる
9. 事実17から、推論9: "仮にこのスファル達が筆頭家老であるし援交であるならばそれは胡散臭くない"が導かれる
10. 推論8と推論9から、推論10: "このスファル達は胡散臭くない"が導かれる
11. 事実5から、推論11: "仮にこのスファル達は胡散臭いということはないとすれば「近しくて覗き直す」ということは成り立たない"が導かれる
12. 推論10と推論11から、仮説が否定される

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