あの共同訴訟参加はモン・ＦＥＴだ
fact1: その五代記がイージーワードでないし更に安っぽくないとすればその屎尿処理は結合し易くない fact2: もしあの有望が紡績産業でないけれど寄る辺無いならばその手柄は裁く fact3: なにがしかのものは結合し易くないとすれば「その手柄は捕らわれ易くないしステータス・シンボルでない」ということは成り立たない fact4: もしあの有望が経済活動でないとしたら紡績産業でないし更にそれは寄る辺無い fact5: あの有望は経済活動でない fact6: もしも「「イージーワードだということはなくて安っぽいということはない」ということは嘘な」ものがあるとしたらあの共同訴訟参加はモン・ＦＥＴでない fact7: もしも「なにかは捕らわれ易くないししかもそれはステータス・シンボルでない」ということは嘘であるならそれは裁かない
void -> assump1: 以下のように仮定する。その五代記はイージーワードでなくておまけにそれは安っぽくない; fact1 & assump1 -> int1: その屎尿処理は結合し易くない; int1 -> int2: 「結合し易いということはない」物はある; int2 & fact3 -> int3: 「その手柄は捕らわれ易いということはないしその上ステータス・シンボルでない」ということは成り立たない; fact7 -> int4: もし「その手柄は捕らわれ易くないしおまけにステータス・シンボルでない」ということは確かでないとしたらそれは裁かない; int3 & int4 -> int5: その手柄は裁かない; fact5 & fact4 -> int6: 「あの有望は紡績産業であるということはないがしかし寄る辺無い」ということは事実だ; int6 & fact2 -> int7: その手柄は裁く; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「「その五代記はイージーワードでなくてまた安っぽくない」ということは事実だ」ということは誤りである; int9 -> int10: 「「イージーワードでなくてしかも安っぽくない」ということは成り立つということはない」ものはある; int10 & fact6 -> hypothesis;
$facts$ = fact1: その五代記がイージーワードでないし更に安っぽくないとすればその屎尿処理は結合し易くない fact2: もしあの有望が紡績産業でないけれど寄る辺無いならばその手柄は裁く fact3: なにがしかのものは結合し易くないとすれば「その手柄は捕らわれ易くないしステータス・シンボルでない」ということは成り立たない fact4: もしあの有望が経済活動でないとしたら紡績産業でないし更にそれは寄る辺無い fact5: あの有望は経済活動でない fact6: もしも「「イージーワードだということはなくて安っぽいということはない」ということは嘘な」ものがあるとしたらあの共同訴訟参加はモン・ＦＥＴでない fact7: もしも「なにかは捕らわれ易くないししかもそれはステータス・シンボルでない」ということは嘘であるならそれは裁かない ; $hypothesis$ = あの共同訴訟参加はモン・ＦＥＴだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その五代記はイージーワードでなくておまけにそれは安っぽくない; fact1 & assump1 -> int1: その屎尿処理は結合し易くない; int1 -> int2: 「結合し易いということはない」物はある; int2 & fact3 -> int3: 「その手柄は捕らわれ易いということはないしその上ステータス・シンボルでない」ということは成り立たない; fact7 -> int4: もし「その手柄は捕らわれ易くないしおまけにステータス・シンボルでない」ということは確かでないとしたらそれは裁かない; int3 & int4 -> int5: その手柄は裁かない; fact5 & fact4 -> int6: 「あの有望は紡績産業であるということはないがしかし寄る辺無い」ということは事実だ; int6 & fact2 -> int7: その手柄は裁く; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「「その五代記はイージーワードでなくてまた安っぽくない」ということは事実だ」ということは誤りである; int9 -> int10: 「「イージーワードでなくてしかも安っぽくない」ということは成り立つということはない」ものはある; int10 & fact6 -> hypothesis; __DISPROVED__
事実1: その五代記がイージーワードでないし更に安っぽくないとすればその屎尿処理は結合し易くない
事実2: もしあの有望が紡績産業でないけれど寄る辺無いならばその手柄は裁く
事実3: なにがしかのものは結合し易くないとすれば「その手柄は捕らわれ易くないしステータス・シンボルでない」ということは成り立たない
事実4: もしあの有望が経済活動でないとしたら紡績産業でないし更にそれは寄る辺無い
事実5: あの有望は経済活動でない
事実6: もしも「「イージーワードだということはなくて安っぽいということはない」ということは嘘な」ものがあるとしたらあの共同訴訟参加はモン・ＦＥＴでない
事実7: もしも「なにかは捕らわれ易くないししかもそれはステータス・シンボルでない」ということは嘘であるならそれは裁かない

仮説: あの共同訴訟参加はモン・ＦＥＴだ
1. 仮定1: 以下のように仮定する。その五代記はイージーワードでなくておまけにそれは安っぽくない
2. 事実1と仮定1から、推論1: "その屎尿処理は結合し易くない"が導かれる
3. 推論1から、推論2: "「結合し易いということはない」物はある"が導かれる
4. 推論2と事実3から、推論3: "「その手柄は捕らわれ易いということはないしその上ステータス・シンボルでない」ということは成り立たない"が導かれる
5. 事実7から、推論4: "もし「その手柄は捕らわれ易くないしおまけにステータス・シンボルでない」ということは確かでないとしたらそれは裁かない"が導かれる
6. 推論3と推論4から、推論5: "その手柄は裁かない"が導かれる
7. 事実5と事実4から、推論6: "「あの有望は紡績産業であるということはないがしかし寄る辺無い」ということは事実だ"が導かれる
8. 推論6と事実2から、推論7: "その手柄は裁く"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「「その五代記はイージーワードでなくてまた安っぽくない」ということは事実だ」ということは誤りである"が導かれる
11. 推論9から、推論10: "「「イージーワードでなくてしかも安っぽくない」ということは成り立つということはない」ものはある"が導かれる
12. 推論10と事実6から、仮説が否定される

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