この劇作家達は髭剃りでない
fact1: 仮にあの一枚張りは在庫しないとすると「運び易いしその上強め合わない」ということは本当だということはない fact2: もしも「翔らなくてそれに関係深くない」物があるとしたらあの一枚張りは季節風であるということはない fact3: あの一枚張りは在庫しない fact4: もし「「運び易いけれど強め合わない」ということは成り立つということはない」物があるとするとこの劇作家達は髭剃りである fact5: もし何かは季節風であるということはないとしたらそれは農婦だということはない fact6: この劇作家達は関係深いということはない fact7: もしも何らかの物は在庫すれば「それは十七マイル・ドライブであるしさらにそれは強め合うということはない」ということは誤りである fact8: もしもとある物は農婦だということはないが在庫するとすればそれは髭剃りだということはない fact9: このステアリング系は在庫しない fact10: この劇作家達は翔らない
fact1 & fact3 -> int1: 「あの一枚張りは運び易いが強め合わない」ということは成り立たない; int1 -> int2: 「「運び易いし強め合わない」ということは成り立たない」ものはある; int2 & fact4 -> hypothesis;
fact1 & fact3 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact4 -> hypothesis;
この劇作家達は髭剃りでない
fact11 -> int3: もしこの劇作家達は農婦だということはないけど在庫するとしたら髭剃りでない;
$facts$ = fact1: 仮にあの一枚張りは在庫しないとすると「運び易いしその上強め合わない」ということは本当だということはない fact2: もしも「翔らなくてそれに関係深くない」物があるとしたらあの一枚張りは季節風であるということはない fact3: あの一枚張りは在庫しない fact4: もし「「運び易いけれど強め合わない」ということは成り立つということはない」物があるとするとこの劇作家達は髭剃りである fact5: もし何かは季節風であるということはないとしたらそれは農婦だということはない fact6: この劇作家達は関係深いということはない fact7: もしも何らかの物は在庫すれば「それは十七マイル・ドライブであるしさらにそれは強め合うということはない」ということは誤りである fact8: もしもとある物は農婦だということはないが在庫するとすればそれは髭剃りだということはない fact9: このステアリング系は在庫しない fact10: この劇作家達は翔らない ; $hypothesis$ = この劇作家達は髭剃りでない ; $proof$ = 
fact1 & fact3 -> int1: 「あの一枚張りは運び易いが強め合わない」ということは成り立たない; int1 -> int2: 「「運び易いし強め合わない」ということは成り立たない」ものはある; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にあの一枚張りは在庫しないとすると「運び易いしその上強め合わない」ということは本当だということはない
事実2: もしも「翔らなくてそれに関係深くない」物があるとしたらあの一枚張りは季節風であるということはない
事実3: あの一枚張りは在庫しない
事実4: もし「「運び易いけれど強め合わない」ということは成り立つということはない」物があるとするとこの劇作家達は髭剃りである
事実5: もし何かは季節風であるということはないとしたらそれは農婦だということはない
事実6: この劇作家達は関係深いということはない
事実7: もしも何らかの物は在庫すれば「それは十七マイル・ドライブであるしさらにそれは強め合うということはない」ということは誤りである
事実8: もしもとある物は農婦だということはないが在庫するとすればそれは髭剃りだということはない
事実9: このステアリング系は在庫しない
事実10: この劇作家達は翔らない

仮説: この劇作家達は髭剃りでない
1. 事実1と事実3から、推論1: "「あの一枚張りは運び易いが強め合わない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「運び易いし強め合わない」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実4から、仮説が否定される

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