この家計支出は変動しない
fact1: あの茶屋はださくない fact2: 何らかのものが勤しむということはないなら五十人以上で長江沿岸である fact3: もし「とあるものはやくざっぽくないししかもそれはデータラベルだということはない」ということは事実と異なるなら着火しない fact4: もし仮に「勤しむしおまけにださい」ものがあるとしたらこの家計支出は変動しない fact5: もしその鼬が長江沿岸ならそのくそ鎮は勤しむ fact6: もしもそのくそ鎮がデータラベルでないとすれば凭れ掛かるかもしくはそれは着火する fact7: 「この橋脚塑性ヒンジが着火しないならばあのくそ鎮はださいかまたは凭れ掛かるということはないかあるいは両方ともである」ということは成り立つ fact8: この現実世界は所らしい fact9: 仮にその鼬は五十人以上であるとすると「この家計支出は変動する」ということは確かだ fact10: そのくそ鎮はデータラベルでない fact11: もし仮にとあるものが凭れ掛かるとしたらそれはださい fact12: 何かは着火するとすればださい fact13: その鼬は五十人以上でないが長江沿岸である
fact13 -> int1: その鼬は長江沿岸である; int1 & fact5 -> int2: そのくそ鎮は勤しむ; fact10 & fact6 -> int3: そのくそ鎮は凭れ掛かるかもしくは着火する; fact11 -> int4: 仮に「そのくそ鎮は凭れ掛かる」ということは成り立つならださい; fact12 -> int5: もし仮にそのくそ鎮が着火するならそれはださい; int3 & int4 & int5 -> int6: そのくそ鎮はださい; int2 & int6 -> int7: そのくそ鎮は勤しむし加えてださい; int7 -> int8: 「勤しむし加えてださい」物はある; int8 & fact4 -> hypothesis;
この家計支出は変動する
fact16 -> int9: 「その鼬は勤しまない」ということは真実なら五十人以上であるしそれは長江沿岸だ; fact17 -> int10: もし「「その橋脚塑性ヒンジはやくざっぽくないしそれにデータラベルだということはない」ということは成り立つ」ということは誤っているとしたら着火しない; fact14 -> int11: 所らしい物はある;
$facts$ = fact1: あの茶屋はださくない fact2: 何らかのものが勤しむということはないなら五十人以上で長江沿岸である fact3: もし「とあるものはやくざっぽくないししかもそれはデータラベルだということはない」ということは事実と異なるなら着火しない fact4: もし仮に「勤しむしおまけにださい」ものがあるとしたらこの家計支出は変動しない fact5: もしその鼬が長江沿岸ならそのくそ鎮は勤しむ fact6: もしもそのくそ鎮がデータラベルでないとすれば凭れ掛かるかもしくはそれは着火する fact7: 「この橋脚塑性ヒンジが着火しないならばあのくそ鎮はださいかまたは凭れ掛かるということはないかあるいは両方ともである」ということは成り立つ fact8: この現実世界は所らしい fact9: 仮にその鼬は五十人以上であるとすると「この家計支出は変動する」ということは確かだ fact10: そのくそ鎮はデータラベルでない fact11: もし仮にとあるものが凭れ掛かるとしたらそれはださい fact12: 何かは着火するとすればださい fact13: その鼬は五十人以上でないが長江沿岸である ; $hypothesis$ = この家計支出は変動しない ; $proof$ = 
fact13 -> int1: その鼬は長江沿岸である; int1 & fact5 -> int2: そのくそ鎮は勤しむ; fact10 & fact6 -> int3: そのくそ鎮は凭れ掛かるかもしくは着火する; fact11 -> int4: 仮に「そのくそ鎮は凭れ掛かる」ということは成り立つならださい; fact12 -> int5: もし仮にそのくそ鎮が着火するならそれはださい; int3 & int4 & int5 -> int6: そのくそ鎮はださい; int2 & int6 -> int7: そのくそ鎮は勤しむし加えてださい; int7 -> int8: 「勤しむし加えてださい」物はある; int8 & fact4 -> hypothesis; __PROVED__
事実1: あの茶屋はださくない
事実2: 何らかのものが勤しむということはないなら五十人以上で長江沿岸である
事実3: もし「とあるものはやくざっぽくないししかもそれはデータラベルだということはない」ということは事実と異なるなら着火しない
事実4: もし仮に「勤しむしおまけにださい」ものがあるとしたらこの家計支出は変動しない
事実5: もしその鼬が長江沿岸ならそのくそ鎮は勤しむ
事実6: もしもそのくそ鎮がデータラベルでないとすれば凭れ掛かるかもしくはそれは着火する
事実7: 「この橋脚塑性ヒンジが着火しないならばあのくそ鎮はださいかまたは凭れ掛かるということはないかあるいは両方ともである」ということは成り立つ
事実8: この現実世界は所らしい
事実9: 仮にその鼬は五十人以上であるとすると「この家計支出は変動する」ということは確かだ
事実10: そのくそ鎮はデータラベルでない
事実11: もし仮にとあるものが凭れ掛かるとしたらそれはださい
事実12: 何かは着火するとすればださい
事実13: その鼬は五十人以上でないが長江沿岸である

仮説: この家計支出は変動しない
1. 事実13から、推論1: "その鼬は長江沿岸である"が導かれる
2. 推論1と事実5から、推論2: "そのくそ鎮は勤しむ"が導かれる
3. 事実10と事実6から、推論3: "そのくそ鎮は凭れ掛かるかもしくは着火する"が導かれる
4. 事実11から、推論4: "仮に「そのくそ鎮は凭れ掛かる」ということは成り立つならださい"が導かれる
5. 事実12から、推論5: "もし仮にそのくそ鎮が着火するならそれはださい"が導かれる
6. 推論3と推論4と推論5から、推論6: "そのくそ鎮はださい"が導かれる
7. 推論2と推論6から、推論7: "そのくそ鎮は勤しむし加えてださい"が導かれる
8. 推論7から、推論8: "「勤しむし加えてださい」物はある"が導かれる
9. 推論8と事実4から、仮説が導かれる

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