あの少年院は待ち遠しい
fact1: 「あの少年院は気触れるし電荷Ｑである」ということは成り立たないとすれば則しない fact2: 仮にあの少年院が電荷Ｑだということはないならばそれは則しない fact3: もし何らかの物は電荷Ｑでないとすれば「それは待ち遠しいし則する」ということは本当でない fact4: もし仮になんらかの物が則しないとすればそれは待ち遠しくない fact5: 「あの少年院は気触れるしそれは電荷Ｑだ」ということは嘘だ fact6: もし「あの少年院は則するし更に入隊する」ということは誤りなら周辺光量比でない fact7: 仮にあの少年院が待ち遠しくないならばなあくない
fact4 -> int1: もしもあの少年院が則するということはないならば待ち遠しいということはない; fact1 & fact5 -> int2: あの少年院は則しない; int1 & int2 -> hypothesis;
fact4 -> int1: ¬{B}{aa} -> ¬{C}{aa}; fact1 & fact5 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
その雪景色は待ち遠しくない
fact8 -> int3: あの百合根は電荷Ｑでないならば「待ち遠しくて則する」ということは成り立たない;
$facts$ = fact1: 「あの少年院は気触れるし電荷Ｑである」ということは成り立たないとすれば則しない fact2: 仮にあの少年院が電荷Ｑだということはないならばそれは則しない fact3: もし何らかの物は電荷Ｑでないとすれば「それは待ち遠しいし則する」ということは本当でない fact4: もし仮になんらかの物が則しないとすればそれは待ち遠しくない fact5: 「あの少年院は気触れるしそれは電荷Ｑだ」ということは嘘だ fact6: もし「あの少年院は則するし更に入隊する」ということは誤りなら周辺光量比でない fact7: 仮にあの少年院が待ち遠しくないならばなあくない ; $hypothesis$ = あの少年院は待ち遠しい ; $proof$ = 
fact4 -> int1: もしもあの少年院が則するということはないならば待ち遠しいということはない; fact1 & fact5 -> int2: あの少年院は則しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「あの少年院は気触れるし電荷Ｑである」ということは成り立たないとすれば則しない
事実2: 仮にあの少年院が電荷Ｑだということはないならばそれは則しない
事実3: もし何らかの物は電荷Ｑでないとすれば「それは待ち遠しいし則する」ということは本当でない
事実4: もし仮になんらかの物が則しないとすればそれは待ち遠しくない
事実5: 「あの少年院は気触れるしそれは電荷Ｑだ」ということは嘘だ
事実6: もし「あの少年院は則するし更に入隊する」ということは誤りなら周辺光量比でない
事実7: 仮にあの少年院が待ち遠しくないならばなあくない

仮説: あの少年院は待ち遠しい
1. 事実4から、推論1: "もしもあの少年院が則するということはないならば待ち遠しいということはない"が導かれる
2. 事実1と事実5から、推論2: "あの少年院は則しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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