この異方性サンドイッチ板は記事作成でその上それは農民的土地所有である
fact1: もしも「この異方性サンドイッチ板は御取り下さるけど駕籠舁きでない」ということは誤っていればこのＴＮＭ分類は毒々しい fact2: この異方性サンドイッチ板は甘酸っぱくない fact3: もしもこの異方性サンドイッチ板は判断し難いとすれば「それは御取り下さるしそれにそれは駕籠舁きであるということはない」ということは成り立たない fact4: この激震は徒らっぽくない fact5: 「この異方性サンドイッチ板は御取り下さるしその上駕籠舁きだ」ということは成り立たない fact6: 仮に「このＴＮＭ分類は痛ーくないが徒らっぽい」ということは事実と異なるとすれば徒らっぽくない fact7: 仮にこのＴＮＭ分類が毒々しいなら徒らっぽい fact8: この異方性サンドイッチ板は記事作成だ fact9: もしもこの異方性サンドイッチ板が判断し難くないならばそれは記事作成であるしそれは農民的土地所有である fact10: 「このＴＮＭ分類は痛ーくない一方で徒らっぽい」ということは成り立たない
void -> assump1: 以下のように仮定する。この異方性サンドイッチ板は判断し難い; fact3 & assump1 -> int1: 「「この異方性サンドイッチ板は御取り下さる一方でそれは駕籠舁きでない」ということは成り立つ」ということは成り立たない; int1 & fact1 -> int2: このＴＮＭ分類は毒々しい; int2 & fact7 -> int3: このＴＮＭ分類は徒らっぽい; fact10 & fact6 -> int4: このＴＮＭ分類は徒らっぽくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この異方性サンドイッチ板は判断し難くない; int6 & fact9 -> hypothesis;
$facts$ = fact1: もしも「この異方性サンドイッチ板は御取り下さるけど駕籠舁きでない」ということは誤っていればこのＴＮＭ分類は毒々しい fact2: この異方性サンドイッチ板は甘酸っぱくない fact3: もしもこの異方性サンドイッチ板は判断し難いとすれば「それは御取り下さるしそれにそれは駕籠舁きであるということはない」ということは成り立たない fact4: この激震は徒らっぽくない fact5: 「この異方性サンドイッチ板は御取り下さるしその上駕籠舁きだ」ということは成り立たない fact6: 仮に「このＴＮＭ分類は痛ーくないが徒らっぽい」ということは事実と異なるとすれば徒らっぽくない fact7: 仮にこのＴＮＭ分類が毒々しいなら徒らっぽい fact8: この異方性サンドイッチ板は記事作成だ fact9: もしもこの異方性サンドイッチ板が判断し難くないならばそれは記事作成であるしそれは農民的土地所有である fact10: 「このＴＮＭ分類は痛ーくない一方で徒らっぽい」ということは成り立たない ; $hypothesis$ = この異方性サンドイッチ板は記事作成でその上それは農民的土地所有である ; $proof$ = 
void -> assump1: 以下のように仮定する。この異方性サンドイッチ板は判断し難い; fact3 & assump1 -> int1: 「「この異方性サンドイッチ板は御取り下さる一方でそれは駕籠舁きでない」ということは成り立つ」ということは成り立たない; int1 & fact1 -> int2: このＴＮＭ分類は毒々しい; int2 & fact7 -> int3: このＴＮＭ分類は徒らっぽい; fact10 & fact6 -> int4: このＴＮＭ分類は徒らっぽくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この異方性サンドイッチ板は判断し難くない; int6 & fact9 -> hypothesis; __PROVED__
事実1: もしも「この異方性サンドイッチ板は御取り下さるけど駕籠舁きでない」ということは誤っていればこのＴＮＭ分類は毒々しい
事実2: この異方性サンドイッチ板は甘酸っぱくない
事実3: もしもこの異方性サンドイッチ板は判断し難いとすれば「それは御取り下さるしそれにそれは駕籠舁きであるということはない」ということは成り立たない
事実4: この激震は徒らっぽくない
事実5: 「この異方性サンドイッチ板は御取り下さるしその上駕籠舁きだ」ということは成り立たない
事実6: 仮に「このＴＮＭ分類は痛ーくないが徒らっぽい」ということは事実と異なるとすれば徒らっぽくない
事実7: 仮にこのＴＮＭ分類が毒々しいなら徒らっぽい
事実8: この異方性サンドイッチ板は記事作成だ
事実9: もしもこの異方性サンドイッチ板が判断し難くないならばそれは記事作成であるしそれは農民的土地所有である
事実10: 「このＴＮＭ分類は痛ーくない一方で徒らっぽい」ということは成り立たない

仮説: この異方性サンドイッチ板は記事作成でその上それは農民的土地所有である
1. 仮定1: 以下のように仮定する。この異方性サンドイッチ板は判断し難い
2. 事実3と仮定1から、推論1: "「「この異方性サンドイッチ板は御取り下さる一方でそれは駕籠舁きでない」ということは成り立つ」ということは成り立たない"が導かれる
3. 推論1と事実1から、推論2: "このＴＮＭ分類は毒々しい"が導かれる
4. 推論2と事実7から、推論3: "このＴＮＭ分類は徒らっぽい"が導かれる
5. 事実10と事実6から、推論4: "このＴＮＭ分類は徒らっぽくない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この異方性サンドイッチ板は判断し難くない"が導かれる
8. 推論6と事実9から、仮説が導かれる

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