「その支配形態は握り直さないならば「その日記故事系は偏愛するがしかし決め難くない」ということは成り立たない」ということは成り立たない
fact1: その卵状は壊せるということはないとしたら「その日記故事系は偏愛する一方で決め難くない」ということは成り立たない fact2: もしもその支配形態が準備ジェスチャーであるということはなくて引っ付かないならばその卵状は壊せらない fact3: なんらかのものが握り直さないならば準備ジェスチャーでないし引っ付かない
fact3 -> int1: もしもその支配形態が握り直さないなら準備ジェスチャーでなくて引っ付くということはない; void -> assump1: 以下のように仮定する。その支配形態は握り直さない; int1 & assump1 -> int2: その支配形態は準備ジェスチャーでないししかも引っ付かない; int2 & fact2 -> int3: その卵状は壊せらない; int3 & fact1 -> int4: 「その日記故事系は偏愛するけど決め難くない」ということは偽だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: その卵状は壊せるということはないとしたら「その日記故事系は偏愛する一方で決め難くない」ということは成り立たない fact2: もしもその支配形態が準備ジェスチャーであるということはなくて引っ付かないならばその卵状は壊せらない fact3: なんらかのものが握り直さないならば準備ジェスチャーでないし引っ付かない ; $hypothesis$ = 「その支配形態は握り直さないならば「その日記故事系は偏愛するがしかし決め難くない」ということは成り立たない」ということは成り立たない ; $proof$ = 
fact3 -> int1: もしもその支配形態が握り直さないなら準備ジェスチャーでなくて引っ付くということはない; void -> assump1: 以下のように仮定する。その支配形態は握り直さない; int1 & assump1 -> int2: その支配形態は準備ジェスチャーでないししかも引っ付かない; int2 & fact2 -> int3: その卵状は壊せらない; int3 & fact1 -> int4: 「その日記故事系は偏愛するけど決め難くない」ということは偽だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その卵状は壊せるということはないとしたら「その日記故事系は偏愛する一方で決め難くない」ということは成り立たない
事実2: もしもその支配形態が準備ジェスチャーであるということはなくて引っ付かないならばその卵状は壊せらない
事実3: なんらかのものが握り直さないならば準備ジェスチャーでないし引っ付かない

仮説: 「その支配形態は握り直さないならば「その日記故事系は偏愛するがしかし決め難くない」ということは成り立たない」ということは成り立たない
1. 事実3から、推論1: "もしもその支配形態が握り直さないなら準備ジェスチャーでなくて引っ付くということはない"が導かれる
2. 仮定1: 以下のように仮定する。その支配形態は握り直さない
3. 推論1と仮定1から、推論2: "その支配形態は準備ジェスチャーでないししかも引っ付かない"が導かれる
4. 推論2と事実2から、推論3: "その卵状は壊せらない"が導かれる
5. 推論3と事実1から、推論4: "「その日記故事系は偏愛するけど決め難くない」ということは偽だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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