「この一品はダンベルだ」ということは本当である
fact1: もしその東京人が発生し難いならばこの一品はダンベルである fact2: もしもとある物が起算しないならそれはきったなくて加えて小汚い fact3: もしもあるものが起算するしかつ小汚いとすればその東京人は発生し難い fact4: その上院議員は自動車駐車場だ fact5: 仮に「「自動車駐車場だし寝っ転がるということはない」ということは成り立たない」物があるならその島外は起算する fact6: もし仮にその東京人が話し合いするし加えてそれがダンベルだとしたらその一番末はダンベルでない fact7: この一品が固持するとすれば腹立たしくらない fact8: この一品はきったなくない fact9: その島外は話し合いするしきったない fact10: 「「ダンベルだしおまけに心臓病予防だ」ということは誤りである」物はある fact11: 仮にその島外が自動車駐車場であるとするとその一番末は発生し難くない fact12: もしもその島外が小汚くないならそれはどうして良くないが心臓病予防である fact13: とある物は発生し難いということはないしかつダンベルでないならば起算するということはない fact14: この一品は固持するか明るくない fact15: もし仮にその島外が話し合いしないとすればどうして良くないしかつそれは自動車駐車場だ fact16: その東京人はダンベルだ fact17: もしもこの一品が腹立たしくらないならばあの島外は自動車駐車場で寝っ転がる fact18: 「この析出は自動車駐車場であるが寝っ転がらない」ということは間違いだ fact19: きったない物はどうして良い fact20: 「その東京人は話し合いするし狡っ辛い」ということは成り立つ
void -> assump1: 以下のように仮定する。その島外は小汚くない; fact12 & assump1 -> int1: その島外はどうして良くないが心臓病予防だ; int1 -> int2: その島外はどうして良くない; fact19 -> int3: 仮にその島外がきったないとすればどうして良い; fact9 -> int4: その島外はきったない; int3 & int4 -> int5: その島外はどうして良い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その島外は小汚い; fact18 -> int8: 「「自動車駐車場であるけれど寝っ転がらない」ということは成り立たない」ものはある; fact5 & int8 -> int9: その島外は起算する; int7 & int9 -> int10: その島外は起算するし小汚い; int10 -> int11: なんらかの物は起算するしそれに小汚い; int11 & fact3 -> int12: 「その東京人は発生し難い」ということは成り立つ; int12 & fact1 -> hypothesis;
その一番末はきったない
fact24 -> int13: もし仮にその一番末が起算するということはないならばきったないし加えて小汚い; fact21 -> int14: その一番末が発生し難くないしそれはダンベルでないならばそれは起算しない; fact29 -> int15: その東京人は話し合いする; int15 & fact28 -> int16: その東京人は話し合いするしダンベルだ; fact25 & int16 -> int17: その一番末はダンベルでない;
$facts$ = fact1: もしその東京人が発生し難いならばこの一品はダンベルである fact2: もしもとある物が起算しないならそれはきったなくて加えて小汚い fact3: もしもあるものが起算するしかつ小汚いとすればその東京人は発生し難い fact4: その上院議員は自動車駐車場だ fact5: 仮に「「自動車駐車場だし寝っ転がるということはない」ということは成り立たない」物があるならその島外は起算する fact6: もし仮にその東京人が話し合いするし加えてそれがダンベルだとしたらその一番末はダンベルでない fact7: この一品が固持するとすれば腹立たしくらない fact8: この一品はきったなくない fact9: その島外は話し合いするしきったない fact10: 「「ダンベルだしおまけに心臓病予防だ」ということは誤りである」物はある fact11: 仮にその島外が自動車駐車場であるとするとその一番末は発生し難くない fact12: もしもその島外が小汚くないならそれはどうして良くないが心臓病予防である fact13: とある物は発生し難いということはないしかつダンベルでないならば起算するということはない fact14: この一品は固持するか明るくない fact15: もし仮にその島外が話し合いしないとすればどうして良くないしかつそれは自動車駐車場だ fact16: その東京人はダンベルだ fact17: もしもこの一品が腹立たしくらないならばあの島外は自動車駐車場で寝っ転がる fact18: 「この析出は自動車駐車場であるが寝っ転がらない」ということは間違いだ fact19: きったない物はどうして良い fact20: 「その東京人は話し合いするし狡っ辛い」ということは成り立つ ; $hypothesis$ = 「この一品はダンベルだ」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。その島外は小汚くない; fact12 & assump1 -> int1: その島外はどうして良くないが心臓病予防だ; int1 -> int2: その島外はどうして良くない; fact19 -> int3: 仮にその島外がきったないとすればどうして良い; fact9 -> int4: その島外はきったない; int3 & int4 -> int5: その島外はどうして良い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その島外は小汚い; fact18 -> int8: 「「自動車駐車場であるけれど寝っ転がらない」ということは成り立たない」ものはある; fact5 & int8 -> int9: その島外は起算する; int7 & int9 -> int10: その島外は起算するし小汚い; int10 -> int11: なんらかの物は起算するしそれに小汚い; int11 & fact3 -> int12: 「その東京人は発生し難い」ということは成り立つ; int12 & fact1 -> hypothesis; __PROVED__
事実1: もしその東京人が発生し難いならばこの一品はダンベルである
事実2: もしもとある物が起算しないならそれはきったなくて加えて小汚い
事実3: もしもあるものが起算するしかつ小汚いとすればその東京人は発生し難い
事実4: その上院議員は自動車駐車場だ
事実5: 仮に「「自動車駐車場だし寝っ転がるということはない」ということは成り立たない」物があるならその島外は起算する
事実6: もし仮にその東京人が話し合いするし加えてそれがダンベルだとしたらその一番末はダンベルでない
事実7: この一品が固持するとすれば腹立たしくらない
事実8: この一品はきったなくない
事実9: その島外は話し合いするしきったない
事実10: 「「ダンベルだしおまけに心臓病予防だ」ということは誤りである」物はある
事実11: 仮にその島外が自動車駐車場であるとするとその一番末は発生し難くない
事実12: もしもその島外が小汚くないならそれはどうして良くないが心臓病予防である
事実13: とある物は発生し難いということはないしかつダンベルでないならば起算するということはない
事実14: この一品は固持するか明るくない
事実15: もし仮にその島外が話し合いしないとすればどうして良くないしかつそれは自動車駐車場だ
事実16: その東京人はダンベルだ
事実17: もしもこの一品が腹立たしくらないならばあの島外は自動車駐車場で寝っ転がる
事実18: 「この析出は自動車駐車場であるが寝っ転がらない」ということは間違いだ
事実19: きったない物はどうして良い
事実20: 「その東京人は話し合いするし狡っ辛い」ということは成り立つ

仮説: 「この一品はダンベルだ」ということは本当である
1. 仮定1: 以下のように仮定する。その島外は小汚くない
2. 事実12と仮定1から、推論1: "その島外はどうして良くないが心臓病予防だ"が導かれる
3. 推論1から、推論2: "その島外はどうして良くない"が導かれる
4. 事実19から、推論3: "仮にその島外がきったないとすればどうして良い"が導かれる
5. 事実9から、推論4: "その島外はきったない"が導かれる
6. 推論3と推論4から、推論5: "その島外はどうして良い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その島外は小汚い"が導かれる
9. 事実18から、推論8: "「「自動車駐車場であるけれど寝っ転がらない」ということは成り立たない」ものはある"が導かれる
10. 事実5と推論8から、推論9: "その島外は起算する"が導かれる
11. 推論7と推論9から、推論10: "その島外は起算するし小汚い"が導かれる
12. 推論10から、推論11: "なんらかの物は起算するしそれに小汚い"が導かれる
13. 推論11と事実3から、推論12: "「その東京人は発生し難い」ということは成り立つ"が導かれる
14. 推論12と事実1から、仮説が導かれる

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