この別記様式は水分含有量だけど置き易くない
fact1: 仮に「この別記様式は見世物小屋でないしさらにそれは超大作でない」ということは偽であるとすると曇り無し fact2: この木槌が水分含有量であるとすればこの別記様式は省ける fact3: この別記様式は曇り無ししそれに水分含有量だ fact4: この木槌は曇り無しない fact5: 「あの変数宣言は曇り無し」ということは事実である fact6: この別記様式は省けない fact7: なにがしかの物が省けるとすれば曇り無しということはない fact8: もしあの変数宣言が曇り無しとしたらこの別記様式は由々し fact9: この木槌は水分含有量でない fact10: もしもあの変数宣言が由々しとすればこの別記様式は民政である fact11: このファーは予測し易いがそれは黒っぽくない fact12: もしも「この木槌は省ける」ということは誤りでないなら由々しない fact13: 「あの変数宣言は水分含有量である」ということは成り立つ fact14: もしもなんらかの物は民政ならば「置き易くない」ということは確かだ fact15: あの変数Ｊは省ける fact16: 「この裸地化は悟性であるけど打ち上がるということはない」ということは成り立つ fact17: 仮になにがしかのものが納付するとしたら土蜘蛛衆でない fact18: この別記様式は曇り無し fact19: なにかは省けるとしたら「それは水分含有量だ一方で置き易くない」ということは成り立つということはない fact20: 「あの変数宣言は置き易い」ということは真実である fact21: この木槌は省ける fact22: もし仮にこの木槌が省けるならばあの変数宣言は由々し fact23: この木槌は民政である
fact22 & fact21 -> int1: あの変数宣言は由々し; int1 & fact10 -> int2: この別記様式は民政である; fact14 -> int3: もし仮にこの別記様式は民政であるとすればそれは置き易いということはない; int2 & int3 -> int4: 「この別記様式は置き易くない」ということは成り立つ; fact3 -> int5: この別記様式は水分含有量である; int4 & int5 -> hypothesis;
「この別記様式は水分含有量であるけど置き易くない」ということは間違いである
fact24 -> int6: もしこの別記様式は省けるなら「水分含有量であるがしかし置き易くない」ということは成り立たない;
$facts$ = fact1: 仮に「この別記様式は見世物小屋でないしさらにそれは超大作でない」ということは偽であるとすると曇り無し fact2: この木槌が水分含有量であるとすればこの別記様式は省ける fact3: この別記様式は曇り無ししそれに水分含有量だ fact4: この木槌は曇り無しない fact5: 「あの変数宣言は曇り無し」ということは事実である fact6: この別記様式は省けない fact7: なにがしかの物が省けるとすれば曇り無しということはない fact8: もしあの変数宣言が曇り無しとしたらこの別記様式は由々し fact9: この木槌は水分含有量でない fact10: もしもあの変数宣言が由々しとすればこの別記様式は民政である fact11: このファーは予測し易いがそれは黒っぽくない fact12: もしも「この木槌は省ける」ということは誤りでないなら由々しない fact13: 「あの変数宣言は水分含有量である」ということは成り立つ fact14: もしもなんらかの物は民政ならば「置き易くない」ということは確かだ fact15: あの変数Ｊは省ける fact16: 「この裸地化は悟性であるけど打ち上がるということはない」ということは成り立つ fact17: 仮になにがしかのものが納付するとしたら土蜘蛛衆でない fact18: この別記様式は曇り無し fact19: なにかは省けるとしたら「それは水分含有量だ一方で置き易くない」ということは成り立つということはない fact20: 「あの変数宣言は置き易い」ということは真実である fact21: この木槌は省ける fact22: もし仮にこの木槌が省けるならばあの変数宣言は由々し fact23: この木槌は民政である ; $hypothesis$ = この別記様式は水分含有量だけど置き易くない ; $proof$ = 
fact22 & fact21 -> int1: あの変数宣言は由々し; int1 & fact10 -> int2: この別記様式は民政である; fact14 -> int3: もし仮にこの別記様式は民政であるとすればそれは置き易いということはない; int2 & int3 -> int4: 「この別記様式は置き易くない」ということは成り立つ; fact3 -> int5: この別記様式は水分含有量である; int4 & int5 -> hypothesis; __PROVED__
事実1: 仮に「この別記様式は見世物小屋でないしさらにそれは超大作でない」ということは偽であるとすると曇り無し
事実2: この木槌が水分含有量であるとすればこの別記様式は省ける
事実3: この別記様式は曇り無ししそれに水分含有量だ
事実4: この木槌は曇り無しない
事実5: 「あの変数宣言は曇り無し」ということは事実である
事実6: この別記様式は省けない
事実7: なにがしかの物が省けるとすれば曇り無しということはない
事実8: もしあの変数宣言が曇り無しとしたらこの別記様式は由々し
事実9: この木槌は水分含有量でない
事実10: もしもあの変数宣言が由々しとすればこの別記様式は民政である
事実11: このファーは予測し易いがそれは黒っぽくない
事実12: もしも「この木槌は省ける」ということは誤りでないなら由々しない
事実13: 「あの変数宣言は水分含有量である」ということは成り立つ
事実14: もしもなんらかの物は民政ならば「置き易くない」ということは確かだ
事実15: あの変数Ｊは省ける
事実16: 「この裸地化は悟性であるけど打ち上がるということはない」ということは成り立つ
事実17: 仮になにがしかのものが納付するとしたら土蜘蛛衆でない
事実18: この別記様式は曇り無し
事実19: なにかは省けるとしたら「それは水分含有量だ一方で置き易くない」ということは成り立つということはない
事実20: 「あの変数宣言は置き易い」ということは真実である
事実21: この木槌は省ける
事実22: もし仮にこの木槌が省けるならばあの変数宣言は由々し
事実23: この木槌は民政である

仮説: この別記様式は水分含有量だけど置き易くない
1. 事実22と事実21から、推論1: "あの変数宣言は由々し"が導かれる
2. 推論1と事実10から、推論2: "この別記様式は民政である"が導かれる
3. 事実14から、推論3: "もし仮にこの別記様式は民政であるとすればそれは置き易いということはない"が導かれる
4. 推論2と推論3から、推論4: "「この別記様式は置き易くない」ということは成り立つ"が導かれる
5. 事実3から、推論5: "この別記様式は水分含有量である"が導かれる
6. 推論4と推論5から、仮説が導かれる

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