その反っ歯は移植出来る
fact1: もし仮に「あるものは指定都市でなくて拙いということはない」ということは誤っているなら移植出来る fact2: 仮に「なんらかのものは仰せ付けるということはないしその上ｂＳデジタルであるということはない」ということは確かだということはないならそれは発行済み株式総数だ fact3: この第一次案は発行済み株式総数であるしいじらしい fact4: 仮にその肌は指定都市であるとするとそれは拙い fact5: 「もしこの第一次案は指定都市であるとしたら「その反っ歯は発行済み株式総数でなくていじらしくない」ということは偽だ」ということは確かである fact6: 仮に「この第一次案はいじらしい」ということは成り立つとしたら「その反っ歯は指定都市でないしそれにそれは拙いということはない」ということは本当でない
fact3 -> int1: この第一次案はいじらしい; int1 & fact6 -> int2: 「その反っ歯は指定都市でないしその上それは拙いということはない」ということは事実だということはない; fact1 -> int3: もしも「その反っ歯は指定都市でないしかつそれは拙くない」ということは成り立たないとすると「移植出来る」ということは真実だ; int2 & int3 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact6 -> int2: ¬(¬{D}{b} & ¬{C}{b}); fact1 -> int3: ¬(¬{D}{b} & ¬{C}{b}) -> {E}{b}; int2 & int3 -> hypothesis;
その反っ歯は移植出来ない
$facts$ = fact1: もし仮に「あるものは指定都市でなくて拙いということはない」ということは誤っているなら移植出来る fact2: 仮に「なんらかのものは仰せ付けるということはないしその上ｂＳデジタルであるということはない」ということは確かだということはないならそれは発行済み株式総数だ fact3: この第一次案は発行済み株式総数であるしいじらしい fact4: 仮にその肌は指定都市であるとするとそれは拙い fact5: 「もしこの第一次案は指定都市であるとしたら「その反っ歯は発行済み株式総数でなくていじらしくない」ということは偽だ」ということは確かである fact6: 仮に「この第一次案はいじらしい」ということは成り立つとしたら「その反っ歯は指定都市でないしそれにそれは拙いということはない」ということは本当でない ; $hypothesis$ = その反っ歯は移植出来る ; $proof$ = 
fact3 -> int1: この第一次案はいじらしい; int1 & fact6 -> int2: 「その反っ歯は指定都市でないしその上それは拙いということはない」ということは事実だということはない; fact1 -> int3: もしも「その反っ歯は指定都市でないしかつそれは拙くない」ということは成り立たないとすると「移植出来る」ということは真実だ; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「あるものは指定都市でなくて拙いということはない」ということは誤っているなら移植出来る
事実2: 仮に「なんらかのものは仰せ付けるということはないしその上ｂＳデジタルであるということはない」ということは確かだということはないならそれは発行済み株式総数だ
事実3: この第一次案は発行済み株式総数であるしいじらしい
事実4: 仮にその肌は指定都市であるとするとそれは拙い
事実5: 「もしこの第一次案は指定都市であるとしたら「その反っ歯は発行済み株式総数でなくていじらしくない」ということは偽だ」ということは確かである
事実6: 仮に「この第一次案はいじらしい」ということは成り立つとしたら「その反っ歯は指定都市でないしそれにそれは拙いということはない」ということは本当でない

仮説: その反っ歯は移植出来る
1. 事実3から、推論1: "この第一次案はいじらしい"が導かれる
2. 推論1と事実6から、推論2: "「その反っ歯は指定都市でないしその上それは拙いということはない」ということは事実だということはない"が導かれる
3. 事実1から、推論3: "もしも「その反っ歯は指定都市でないしかつそれは拙くない」ということは成り立たないとすると「移植出来る」ということは真実だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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