あの陽極は三歳年下だ
fact1: その連歌資料はおもろくない fact2: もし仮に何かは話し易いならばそれは非難出来るということはない fact3: あの師範学校は非難出来ないとすると「「あの異時点間は非難出来ないけれど手控える」ということは成り立たない」ということは事実だ fact4: もしなんらかのものが三歳年下でないか話し易いということはないなら三歳年下でない fact5: もしあのＰＩＳＡは話し易くないとしたら「あの師範学校は交換し合うけれど話し易いということはない」ということは成り立たない fact6: もしも「あの異時点間は非難出来ないが手控える」ということは成り立たないなら「あの陽極は三歳年下だ」ということは真実だ fact7: あの異時点間は三歳年下でない fact8: もしもあの師範学校が話し易いなら非難出来ない fact9: 仮にある物がおもろくないならあのＰＩＳＡは切り下げない fact10: もし「あのＰＩＳＡは交換し合わなくて切り下げない」ということは嘘であるならあの陽極は話し易くない fact11: もし仮に「何かは交換し合うが話し易いということはない」ということは事実と異なるとすればそれは非難出来ない fact12: もし仮になんらかのものがおもろくないとするとあのＰＩＳＡは切り下げないしおまけに話し易いということはない fact13: もしも「話し易くない」ものはあれば「あのＰＩＳＡは交換し合わない」ということは真実だ fact14: 仮にあのＰＩＳＡは話し易くないとしたら「あの師範学校は交換し合うし更にそれは話し易い」ということは成り立たない fact15: 仮に「おもろくない」物があるならその連歌資料は三歳年下でなくて話し易くない fact16: もし仮に「あのＰＩＳＡは話し易くない一方でそれは非難出来る」ということは成り立たないならあの異時点間は切り下げる
fact1 -> int1: 「おもろくない」物はある; int1 & fact12 -> int2: あのＰＩＳＡは切り下げないしおまけにそれは話し易くない; int2 -> int3: あのＰＩＳＡは話し易いということはない; int3 & fact5 -> int4: 「あの師範学校は交換し合うけれど話し易くない」ということは嘘である; fact11 -> int5: 仮に「あの師範学校は交換し合うがしかしそれは話し易くない」ということは誤りだとすれば非難出来ない; int4 & int5 -> int6: あの師範学校は非難出来ない; int6 & fact3 -> int7: 「あの異時点間は非難出来ない一方でそれは手控える」ということは成り立たない; int7 & fact6 -> hypothesis;
あの陽極は三歳年下でない
fact17 -> int8: あの陽極が三歳年下でないかそれは話し易くないかまたはどちらもであるとしたら三歳年下でない;
$facts$ = fact1: その連歌資料はおもろくない fact2: もし仮に何かは話し易いならばそれは非難出来るということはない fact3: あの師範学校は非難出来ないとすると「「あの異時点間は非難出来ないけれど手控える」ということは成り立たない」ということは事実だ fact4: もしなんらかのものが三歳年下でないか話し易いということはないなら三歳年下でない fact5: もしあのＰＩＳＡは話し易くないとしたら「あの師範学校は交換し合うけれど話し易いということはない」ということは成り立たない fact6: もしも「あの異時点間は非難出来ないが手控える」ということは成り立たないなら「あの陽極は三歳年下だ」ということは真実だ fact7: あの異時点間は三歳年下でない fact8: もしもあの師範学校が話し易いなら非難出来ない fact9: 仮にある物がおもろくないならあのＰＩＳＡは切り下げない fact10: もし「あのＰＩＳＡは交換し合わなくて切り下げない」ということは嘘であるならあの陽極は話し易くない fact11: もし仮に「何かは交換し合うが話し易いということはない」ということは事実と異なるとすればそれは非難出来ない fact12: もし仮になんらかのものがおもろくないとするとあのＰＩＳＡは切り下げないしおまけに話し易いということはない fact13: もしも「話し易くない」ものはあれば「あのＰＩＳＡは交換し合わない」ということは真実だ fact14: 仮にあのＰＩＳＡは話し易くないとしたら「あの師範学校は交換し合うし更にそれは話し易い」ということは成り立たない fact15: 仮に「おもろくない」物があるならその連歌資料は三歳年下でなくて話し易くない fact16: もし仮に「あのＰＩＳＡは話し易くない一方でそれは非難出来る」ということは成り立たないならあの異時点間は切り下げる ; $hypothesis$ = あの陽極は三歳年下だ ; $proof$ = 
fact1 -> int1: 「おもろくない」物はある; int1 & fact12 -> int2: あのＰＩＳＡは切り下げないしおまけにそれは話し易くない; int2 -> int3: あのＰＩＳＡは話し易いということはない; int3 & fact5 -> int4: 「あの師範学校は交換し合うけれど話し易くない」ということは嘘である; fact11 -> int5: 仮に「あの師範学校は交換し合うがしかしそれは話し易くない」ということは誤りだとすれば非難出来ない; int4 & int5 -> int6: あの師範学校は非難出来ない; int6 & fact3 -> int7: 「あの異時点間は非難出来ない一方でそれは手控える」ということは成り立たない; int7 & fact6 -> hypothesis; __PROVED__
事実1: その連歌資料はおもろくない
事実2: もし仮に何かは話し易いならばそれは非難出来るということはない
事実3: あの師範学校は非難出来ないとすると「「あの異時点間は非難出来ないけれど手控える」ということは成り立たない」ということは事実だ
事実4: もしなんらかのものが三歳年下でないか話し易いということはないなら三歳年下でない
事実5: もしあのＰＩＳＡは話し易くないとしたら「あの師範学校は交換し合うけれど話し易いということはない」ということは成り立たない
事実6: もしも「あの異時点間は非難出来ないが手控える」ということは成り立たないなら「あの陽極は三歳年下だ」ということは真実だ
事実7: あの異時点間は三歳年下でない
事実8: もしもあの師範学校が話し易いなら非難出来ない
事実9: 仮にある物がおもろくないならあのＰＩＳＡは切り下げない
事実10: もし「あのＰＩＳＡは交換し合わなくて切り下げない」ということは嘘であるならあの陽極は話し易くない
事実11: もし仮に「何かは交換し合うが話し易いということはない」ということは事実と異なるとすればそれは非難出来ない
事実12: もし仮になんらかのものがおもろくないとするとあのＰＩＳＡは切り下げないしおまけに話し易いということはない
事実13: もしも「話し易くない」ものはあれば「あのＰＩＳＡは交換し合わない」ということは真実だ
事実14: 仮にあのＰＩＳＡは話し易くないとしたら「あの師範学校は交換し合うし更にそれは話し易い」ということは成り立たない
事実15: 仮に「おもろくない」物があるならその連歌資料は三歳年下でなくて話し易くない
事実16: もし仮に「あのＰＩＳＡは話し易くない一方でそれは非難出来る」ということは成り立たないならあの異時点間は切り下げる

仮説: あの陽極は三歳年下だ
1. 事実1から、推論1: "「おもろくない」物はある"が導かれる
2. 推論1と事実12から、推論2: "あのＰＩＳＡは切り下げないしおまけにそれは話し易くない"が導かれる
3. 推論2から、推論3: "あのＰＩＳＡは話し易いということはない"が導かれる
4. 推論3と事実5から、推論4: "「あの師範学校は交換し合うけれど話し易くない」ということは嘘である"が導かれる
5. 事実11から、推論5: "仮に「あの師範学校は交換し合うがしかしそれは話し易くない」ということは誤りだとすれば非難出来ない"が導かれる
6. 推論4と推論5から、推論6: "あの師範学校は非難出来ない"が導かれる
7. 推論6と事実3から、推論7: "「あの異時点間は非難出来ない一方でそれは手控える」ということは成り立たない"が導かれる
8. 推論7と事実6から、仮説が導かれる

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