「その自転車乗りは侵入出来るということはないけどそれは涼しい」ということは嘘だ
fact1: 「この旧陸軍は紙でないがそれは跳ね回る」ということは誤りである fact2: もしもなにがしかの物が注目出来ないししかもそれが両立しないならば甲高いということはない fact3: この旧陸軍は信じ為さる fact4: もしも何かは共存し得ないならば「「それは侵入出来ないけど涼しい」ということは成り立つ」ということは偽だ fact5: この旧陸軍が信じ為さるとすればそれは注目出来ないしそれは両立しない fact6: その自転車乗りは共存し得るしそれに涼しい fact7: 仮に「この旧陸軍は紙でないけど跳ね回る」ということは成り立たないならば「その自転車乗りは侵入出来ない」ということは本当である
fact7 & fact1 -> int1: その自転車乗りは侵入出来ない; fact6 -> int2: その自転車乗りは涼しい; int1 & int2 -> hypothesis;
この岩戸は甲高くないけど共存し得る
fact9 -> int3: もしもこの旧陸軍が注目出来なくて両立しないとしたら「甲高くない」ということは真実である; fact10 & fact8 -> int4: この旧陸軍は注目出来るということはないし両立しない; int3 & int4 -> int5: 「この旧陸軍は甲高くない」ということは正しい; int5 -> int6: この旧陸軍は涼しいということはないかもしくは甲高くないかどちらもである; int6 -> int7: なんらかの物は涼しかないか甲高くないかまたはどちらもである;
$facts$ = fact1: 「この旧陸軍は紙でないがそれは跳ね回る」ということは誤りである fact2: もしもなにがしかの物が注目出来ないししかもそれが両立しないならば甲高いということはない fact3: この旧陸軍は信じ為さる fact4: もしも何かは共存し得ないならば「「それは侵入出来ないけど涼しい」ということは成り立つ」ということは偽だ fact5: この旧陸軍が信じ為さるとすればそれは注目出来ないしそれは両立しない fact6: その自転車乗りは共存し得るしそれに涼しい fact7: 仮に「この旧陸軍は紙でないけど跳ね回る」ということは成り立たないならば「その自転車乗りは侵入出来ない」ということは本当である ; $hypothesis$ = 「その自転車乗りは侵入出来るということはないけどそれは涼しい」ということは嘘だ ; $proof$ = 
fact7 & fact1 -> int1: その自転車乗りは侵入出来ない; fact6 -> int2: その自転車乗りは涼しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「この旧陸軍は紙でないがそれは跳ね回る」ということは誤りである
事実2: もしもなにがしかの物が注目出来ないししかもそれが両立しないならば甲高いということはない
事実3: この旧陸軍は信じ為さる
事実4: もしも何かは共存し得ないならば「「それは侵入出来ないけど涼しい」ということは成り立つ」ということは偽だ
事実5: この旧陸軍が信じ為さるとすればそれは注目出来ないしそれは両立しない
事実6: その自転車乗りは共存し得るしそれに涼しい
事実7: 仮に「この旧陸軍は紙でないけど跳ね回る」ということは成り立たないならば「その自転車乗りは侵入出来ない」ということは本当である

仮説: 「その自転車乗りは侵入出来るということはないけどそれは涼しい」ということは嘘だ
1. 事実7と事実1から、推論1: "その自転車乗りは侵入出来ない"が導かれる
2. 事実6から、推論2: "その自転車乗りは涼しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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