この公立小中学校は説明し易くないしそれは疑わしない
fact1: なにかは分枝するけれど水係数でない fact2: 仮に水係数がセッティングしないとすればそれは分枝しない fact3: もし仮にこの公立小中学校は説明し易くないし更に疑わしないなら「あの練習メニューはセッティングする」ということは事実だ fact4: 「説明し易くない」ものはある fact5: 仮になんらかの物が分枝しないとするとそれは犬だがしかし古めかしくない fact6: すべてのものは縒れない fact7: この公立小中学校は水係数だ fact8: この公立小中学校は分枝しない fact9: なにがしかのものが分枝するけど水係数でないならばあの練習メニューはセッティングしない fact10: 「あの練習メニューは説明し易いということはないがしかしセッティングする」ということは成り立たない fact11: もしこの公立小中学校がセッティングしなくてそれに疑わしないならあの練習メニューは説明し易い
void -> assump1: 以下のように仮定する。この公立小中学校は説明し易いということはなくてかつ疑わしない; fact3 & assump1 -> int1: あの練習メニューはセッティングする; fact1 & fact9 -> int2: あの練習メニューはセッティングしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact3 & assump1 -> int1: {B}{b}; fact1 & fact9 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
何かは犬だが古めかしくない
fact12 -> int4: もし仮にこの公立小中学校が分枝しないとすると犬であるし古めかしくない;
$facts$ = fact1: なにかは分枝するけれど水係数でない fact2: 仮に水係数がセッティングしないとすればそれは分枝しない fact3: もし仮にこの公立小中学校は説明し易くないし更に疑わしないなら「あの練習メニューはセッティングする」ということは事実だ fact4: 「説明し易くない」ものはある fact5: 仮になんらかの物が分枝しないとするとそれは犬だがしかし古めかしくない fact6: すべてのものは縒れない fact7: この公立小中学校は水係数だ fact8: この公立小中学校は分枝しない fact9: なにがしかのものが分枝するけど水係数でないならばあの練習メニューはセッティングしない fact10: 「あの練習メニューは説明し易いということはないがしかしセッティングする」ということは成り立たない fact11: もしこの公立小中学校がセッティングしなくてそれに疑わしないならあの練習メニューは説明し易い ; $hypothesis$ = この公立小中学校は説明し易くないしそれは疑わしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この公立小中学校は説明し易いということはなくてかつ疑わしない; fact3 & assump1 -> int1: あの練習メニューはセッティングする; fact1 & fact9 -> int2: あの練習メニューはセッティングしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: なにかは分枝するけれど水係数でない
事実2: 仮に水係数がセッティングしないとすればそれは分枝しない
事実3: もし仮にこの公立小中学校は説明し易くないし更に疑わしないなら「あの練習メニューはセッティングする」ということは事実だ
事実4: 「説明し易くない」ものはある
事実5: 仮になんらかの物が分枝しないとするとそれは犬だがしかし古めかしくない
事実6: すべてのものは縒れない
事実7: この公立小中学校は水係数だ
事実8: この公立小中学校は分枝しない
事実9: なにがしかのものが分枝するけど水係数でないならばあの練習メニューはセッティングしない
事実10: 「あの練習メニューは説明し易いということはないがしかしセッティングする」ということは成り立たない
事実11: もしこの公立小中学校がセッティングしなくてそれに疑わしないならあの練習メニューは説明し易い

仮説: この公立小中学校は説明し易くないしそれは疑わしない
1. 仮定1: 以下のように仮定する。この公立小中学校は説明し易いということはなくてかつ疑わしない
2. 事実3と仮定1から、推論1: "あの練習メニューはセッティングする"が導かれる
3. 事実1と事実9から、推論2: "あの練習メニューはセッティングしない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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