その実験研究は汚らしい
fact1: もしも「その細挽きは教師間でなくて調和し難くない」ということは事実であるということはないなら舎利子だということはない fact2: もし「なにかは教師間だけど調和し難くない」ということは本当でないならば汚らしくない fact3: その細挽きは公証人役場であるしさらに答え難い fact4: その細挽きは教師間であるししかも調和し難い fact5: もし「その陸軍士官学校は舎利子でない」ということは事実であるならばそれは小学生である fact6: もしも纏まり易くない物が小学生でないとすれば公証人役場でない fact7: もしも「この部落出身者は高殿だ」ということは真実であるならその実験研究は汚らしい fact8: 仮になにがしかの物は公証人役場でないとすると「それは教師間でそれは調和し難くない」ということは間違いだ fact9: この部落出身者は電話交換機だしさらに三連覇だ fact10: 「その陸軍士官学校は舎利子だ」ということは確かであるなら「その細挽きは答え難いということはないけど高殿である」ということは事実と異なる fact11: その細挽きが公証人役場であるしおまけに調和し難いとすればその陸軍士官学校は纏まり易くない fact12: もし仮にその細挽きが小学生ならその陸軍士官学校は公証人役場である fact13: 仮に纏まり易くないものが小学生ならそれは指図だ fact14: もしもその細挽きは電話交換機だとしたら「それは教師間だということはない」ということは正しい fact15: 仮にその陸軍士官学校が指図であるとすればあの部落出身者は高殿である fact16: この部落出身者は舎利子でない fact17: 「調和し難い」物はある fact18: 「「観光客らしい」ということは成り立つ」物はある fact19: もしも「観光客らしい」ものはあるなら「その陸軍士官学校は枯れ掛けないしおまけに電話交換機だということはない」ということは正しくない fact20: 「舎利子な」物はある fact21: 「その細挽きは答え難くないがしかし高殿である」ということは偽であるならば指図だ fact22: もし仮に「その陸軍士官学校は枯れ掛けないし電話交換機でない」ということは成り立たないとすると舎利子でない
fact4 -> int1: 「その細挽きは調和し難い」ということは真実である; fact3 -> int2: その細挽きは公証人役場である; int1 & int2 -> int3: その細挽きは公証人役場であるしさらに調和し難い; int3 & fact11 -> int4: その陸軍士官学校は纏まり易くない; fact18 & fact19 -> int5: 「その陸軍士官学校は枯れ掛けるということはなくて電話交換機でない」ということは誤っている; int5 & fact22 -> int6: その陸軍士官学校は舎利子でない; int6 & fact5 -> int7: その陸軍士官学校は小学生である; int4 & int7 -> int8: その陸軍士官学校は纏まり易くないけど小学生だ; fact13 -> int9: その陸軍士官学校が纏まり易くないけれどそれは小学生であるとしたら「指図である」ということは事実である; int8 & int9 -> int10: 「その陸軍士官学校は指図だ」ということは真実だ; int10 & fact15 -> int11: 「この部落出身者は高殿だ」ということは成り立つ; int11 & fact7 -> hypothesis;
その実験研究は汚らしくない
fact27 -> int12: もし「その実験研究は教師間だ一方で調和し難くない」ということは間違っているとすると「汚らしくない」ということは成り立つ; fact26 -> int13: その実験研究は公証人役場でないならば「教師間だしかつそれは調和し難くない」ということは偽だ; fact23 -> int14: 仮にその実験研究は纏まり易いということはないしおまけに小学生でないとすれば公証人役場でない;
$facts$ = fact1: もしも「その細挽きは教師間でなくて調和し難くない」ということは事実であるということはないなら舎利子だということはない fact2: もし「なにかは教師間だけど調和し難くない」ということは本当でないならば汚らしくない fact3: その細挽きは公証人役場であるしさらに答え難い fact4: その細挽きは教師間であるししかも調和し難い fact5: もし「その陸軍士官学校は舎利子でない」ということは事実であるならばそれは小学生である fact6: もしも纏まり易くない物が小学生でないとすれば公証人役場でない fact7: もしも「この部落出身者は高殿だ」ということは真実であるならその実験研究は汚らしい fact8: 仮になにがしかの物は公証人役場でないとすると「それは教師間でそれは調和し難くない」ということは間違いだ fact9: この部落出身者は電話交換機だしさらに三連覇だ fact10: 「その陸軍士官学校は舎利子だ」ということは確かであるなら「その細挽きは答え難いということはないけど高殿である」ということは事実と異なる fact11: その細挽きが公証人役場であるしおまけに調和し難いとすればその陸軍士官学校は纏まり易くない fact12: もし仮にその細挽きが小学生ならその陸軍士官学校は公証人役場である fact13: 仮に纏まり易くないものが小学生ならそれは指図だ fact14: もしもその細挽きは電話交換機だとしたら「それは教師間だということはない」ということは正しい fact15: 仮にその陸軍士官学校が指図であるとすればあの部落出身者は高殿である fact16: この部落出身者は舎利子でない fact17: 「調和し難い」物はある fact18: 「「観光客らしい」ということは成り立つ」物はある fact19: もしも「観光客らしい」ものはあるなら「その陸軍士官学校は枯れ掛けないしおまけに電話交換機だということはない」ということは正しくない fact20: 「舎利子な」物はある fact21: 「その細挽きは答え難くないがしかし高殿である」ということは偽であるならば指図だ fact22: もし仮に「その陸軍士官学校は枯れ掛けないし電話交換機でない」ということは成り立たないとすると舎利子でない ; $hypothesis$ = その実験研究は汚らしい ; $proof$ = 
fact4 -> int1: 「その細挽きは調和し難い」ということは真実である; fact3 -> int2: その細挽きは公証人役場である; int1 & int2 -> int3: その細挽きは公証人役場であるしさらに調和し難い; int3 & fact11 -> int4: その陸軍士官学校は纏まり易くない; fact18 & fact19 -> int5: 「その陸軍士官学校は枯れ掛けるということはなくて電話交換機でない」ということは誤っている; int5 & fact22 -> int6: その陸軍士官学校は舎利子でない; int6 & fact5 -> int7: その陸軍士官学校は小学生である; int4 & int7 -> int8: その陸軍士官学校は纏まり易くないけど小学生だ; fact13 -> int9: その陸軍士官学校が纏まり易くないけれどそれは小学生であるとしたら「指図である」ということは事実である; int8 & int9 -> int10: 「その陸軍士官学校は指図だ」ということは真実だ; int10 & fact15 -> int11: 「この部落出身者は高殿だ」ということは成り立つ; int11 & fact7 -> hypothesis; __PROVED__
事実1: もしも「その細挽きは教師間でなくて調和し難くない」ということは事実であるということはないなら舎利子だということはない
事実2: もし「なにかは教師間だけど調和し難くない」ということは本当でないならば汚らしくない
事実3: その細挽きは公証人役場であるしさらに答え難い
事実4: その細挽きは教師間であるししかも調和し難い
事実5: もし「その陸軍士官学校は舎利子でない」ということは事実であるならばそれは小学生である
事実6: もしも纏まり易くない物が小学生でないとすれば公証人役場でない
事実7: もしも「この部落出身者は高殿だ」ということは真実であるならその実験研究は汚らしい
事実8: 仮になにがしかの物は公証人役場でないとすると「それは教師間でそれは調和し難くない」ということは間違いだ
事実9: この部落出身者は電話交換機だしさらに三連覇だ
事実10: 「その陸軍士官学校は舎利子だ」ということは確かであるなら「その細挽きは答え難いということはないけど高殿である」ということは事実と異なる
事実11: その細挽きが公証人役場であるしおまけに調和し難いとすればその陸軍士官学校は纏まり易くない
事実12: もし仮にその細挽きが小学生ならその陸軍士官学校は公証人役場である
事実13: 仮に纏まり易くないものが小学生ならそれは指図だ
事実14: もしもその細挽きは電話交換機だとしたら「それは教師間だということはない」ということは正しい
事実15: 仮にその陸軍士官学校が指図であるとすればあの部落出身者は高殿である
事実16: この部落出身者は舎利子でない
事実17: 「調和し難い」物はある
事実18: 「「観光客らしい」ということは成り立つ」物はある
事実19: もしも「観光客らしい」ものはあるなら「その陸軍士官学校は枯れ掛けないしおまけに電話交換機だということはない」ということは正しくない
事実20: 「舎利子な」物はある
事実21: 「その細挽きは答え難くないがしかし高殿である」ということは偽であるならば指図だ
事実22: もし仮に「その陸軍士官学校は枯れ掛けないし電話交換機でない」ということは成り立たないとすると舎利子でない

仮説: その実験研究は汚らしい
1. 事実4から、推論1: "「その細挽きは調和し難い」ということは真実である"が導かれる
2. 事実3から、推論2: "その細挽きは公証人役場である"が導かれる
3. 推論1と推論2から、推論3: "その細挽きは公証人役場であるしさらに調和し難い"が導かれる
4. 推論3と事実11から、推論4: "その陸軍士官学校は纏まり易くない"が導かれる
5. 事実18と事実19から、推論5: "「その陸軍士官学校は枯れ掛けるということはなくて電話交換機でない」ということは誤っている"が導かれる
6. 推論5と事実22から、推論6: "その陸軍士官学校は舎利子でない"が導かれる
7. 推論6と事実5から、推論7: "その陸軍士官学校は小学生である"が導かれる
8. 推論4と推論7から、推論8: "その陸軍士官学校は纏まり易くないけど小学生だ"が導かれる
9. 事実13から、推論9: "その陸軍士官学校が纏まり易くないけれどそれは小学生であるとしたら「指図である」ということは事実である"が導かれる
10. 推論8と推論9から、推論10: "「その陸軍士官学校は指図だ」ということは真実だ"が導かれる
11. 推論10と事実15から、推論11: "「この部落出身者は高殿だ」ということは成り立つ"が導かれる
12. 推論11と事実7から、仮説が導かれる

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