その作業室は物珍しくない
fact1: このファームウェアは標識しないなら「あのラグーンは起訴出来るかもしくは普通株式でないかまたは両方ともだ」ということは嘘だ fact2: もし「なんらかの物は網棚でないかあるいは落ち零れないか両方だ」ということは成り立てばそれは物珍しくない fact3: もし仮にある物は生き易いということはないとしたら「それは標識するし加えてそれは県内だ」ということは成り立たない fact4: その作業室は網棚であるかもしくはそれは落ち零れないかあるいは両方ともだ fact5: 何もかもは生き易くないが低緯度である fact6: その仮処分命令は思い上がらないかまたはそれはめんどくないかあるいは両方だ fact7: 仮にあのラグーンがダブるとすればあの免税点は狙われ易い fact8: その作業室は泣き声であるかもしくは物珍しいということはない fact9: もしその作業室が標識するとすると心優しくないかもしくは網棚であるか両方である fact10: その作業室は関係深い fact11: その作業室が建て替えるとすればそれは打ち崩さないかまたは目視出来ないか両方である fact12: 仮に関係深いということはないものが巻き付けないとすればそれは物珍しい fact13: 仮に「「あるものは起訴出来るかもしくはそれは普通株式でないかあるいは両方だ」ということは確かである」ということは成り立たないとすればそれはダブる fact14: 腐り易い物は関係深くないしその上巻き付けない fact15: この道教は物珍しくないかあるいは逆フーリエ変換だということはないかまたは両方ともである fact16: あの財政赤字削減は落ち零れる fact17: もし仮に「その作業室は関係深い」ということは事実であるとすればそれは網棚でないかそれは落ち零れないかもしくは両方ともである fact18: 「その作業室はオーケストラ・ピットでない」ということは成り立つ fact19: あの免税点が熱ショック蛋白質だとしたらその作業室は悶絶しないが腐り易い fact20: もし何かは標識するということはないか見越さないかもしくは両方ともであるなら器官系でない fact21: 「そのデータベースは標識するし県内だ」ということは成り立たないならこのファームウェアは標識するということはない
fact2 -> int1: その作業室が網棚でないかまたはそれは落ち零れないかまたはどちらもならば物珍しくない; fact17 & fact10 -> int2: その作業室は網棚だということはないかもしくはそれは落ち零れるということはないかもしくは両方だ; int1 & int2 -> hypothesis;
その作業室は物珍しい
fact22 -> int3: もし仮にその作業室は関係深くなくて巻き付けないならそれは物珍しい; fact24 -> int4: 仮にその作業室が腐り易いとするとそれは関係深くなくておまけに巻き付けない; fact23 -> int5: もし仮に「あのラグーンは起訴出来るか普通株式でないかあるいは両方ともだ」ということは成り立たないとするとそれはダブる; fact27 -> int6: その快勝は生き易くない一方で低緯度である; int6 -> int7: その快勝は生き易くない; int7 -> int8: あらゆる物は生き易いということはない; int8 -> int9: このたまんは生き易くない; fact29 -> int10: もしこのたまんは生き易くないとすれば「それは標識するし県内だ」ということは正しくない; int9 & int10 -> int11: 「このたまんは標識するしまたそれは県内である」ということは偽である; int11 -> int12: 標識するしそれは県内だという物はない; int12 -> int13: 「そのデータベースは標識するしさらに県内である」ということは成り立たない; fact30 & int13 -> int14: このファームウェアは標識しない; int14 & fact26 -> int15: 「あのラグーンは起訴出来るかまたは普通株式だということはないかもしくは両方だ」ということは事実と異なる; int5 & int15 -> int16: あのラグーンはダブる; int16 & fact25 -> int17: あの免税点は狙われ易い;
$facts$ = fact1: このファームウェアは標識しないなら「あのラグーンは起訴出来るかもしくは普通株式でないかまたは両方ともだ」ということは嘘だ fact2: もし「なんらかの物は網棚でないかあるいは落ち零れないか両方だ」ということは成り立てばそれは物珍しくない fact3: もし仮にある物は生き易いということはないとしたら「それは標識するし加えてそれは県内だ」ということは成り立たない fact4: その作業室は網棚であるかもしくはそれは落ち零れないかあるいは両方ともだ fact5: 何もかもは生き易くないが低緯度である fact6: その仮処分命令は思い上がらないかまたはそれはめんどくないかあるいは両方だ fact7: 仮にあのラグーンがダブるとすればあの免税点は狙われ易い fact8: その作業室は泣き声であるかもしくは物珍しいということはない fact9: もしその作業室が標識するとすると心優しくないかもしくは網棚であるか両方である fact10: その作業室は関係深い fact11: その作業室が建て替えるとすればそれは打ち崩さないかまたは目視出来ないか両方である fact12: 仮に関係深いということはないものが巻き付けないとすればそれは物珍しい fact13: 仮に「「あるものは起訴出来るかもしくはそれは普通株式でないかあるいは両方だ」ということは確かである」ということは成り立たないとすればそれはダブる fact14: 腐り易い物は関係深くないしその上巻き付けない fact15: この道教は物珍しくないかあるいは逆フーリエ変換だということはないかまたは両方ともである fact16: あの財政赤字削減は落ち零れる fact17: もし仮に「その作業室は関係深い」ということは事実であるとすればそれは網棚でないかそれは落ち零れないかもしくは両方ともである fact18: 「その作業室はオーケストラ・ピットでない」ということは成り立つ fact19: あの免税点が熱ショック蛋白質だとしたらその作業室は悶絶しないが腐り易い fact20: もし何かは標識するということはないか見越さないかもしくは両方ともであるなら器官系でない fact21: 「そのデータベースは標識するし県内だ」ということは成り立たないならこのファームウェアは標識するということはない ; $hypothesis$ = その作業室は物珍しくない ; $proof$ = 
fact2 -> int1: その作業室が網棚でないかまたはそれは落ち零れないかまたはどちらもならば物珍しくない; fact17 & fact10 -> int2: その作業室は網棚だということはないかもしくはそれは落ち零れるということはないかもしくは両方だ; int1 & int2 -> hypothesis; __PROVED__
事実1: このファームウェアは標識しないなら「あのラグーンは起訴出来るかもしくは普通株式でないかまたは両方ともだ」ということは嘘だ
事実2: もし「なんらかの物は網棚でないかあるいは落ち零れないか両方だ」ということは成り立てばそれは物珍しくない
事実3: もし仮にある物は生き易いということはないとしたら「それは標識するし加えてそれは県内だ」ということは成り立たない
事実4: その作業室は網棚であるかもしくはそれは落ち零れないかあるいは両方ともだ
事実5: 何もかもは生き易くないが低緯度である
事実6: その仮処分命令は思い上がらないかまたはそれはめんどくないかあるいは両方だ
事実7: 仮にあのラグーンがダブるとすればあの免税点は狙われ易い
事実8: その作業室は泣き声であるかもしくは物珍しいということはない
事実9: もしその作業室が標識するとすると心優しくないかもしくは網棚であるか両方である
事実10: その作業室は関係深い
事実11: その作業室が建て替えるとすればそれは打ち崩さないかまたは目視出来ないか両方である
事実12: 仮に関係深いということはないものが巻き付けないとすればそれは物珍しい
事実13: 仮に「「あるものは起訴出来るかもしくはそれは普通株式でないかあるいは両方だ」ということは確かである」ということは成り立たないとすればそれはダブる
事実14: 腐り易い物は関係深くないしその上巻き付けない
事実15: この道教は物珍しくないかあるいは逆フーリエ変換だということはないかまたは両方ともである
事実16: あの財政赤字削減は落ち零れる
事実17: もし仮に「その作業室は関係深い」ということは事実であるとすればそれは網棚でないかそれは落ち零れないかもしくは両方ともである
事実18: 「その作業室はオーケストラ・ピットでない」ということは成り立つ
事実19: あの免税点が熱ショック蛋白質だとしたらその作業室は悶絶しないが腐り易い
事実20: もし何かは標識するということはないか見越さないかもしくは両方ともであるなら器官系でない
事実21: 「そのデータベースは標識するし県内だ」ということは成り立たないならこのファームウェアは標識するということはない

仮説: その作業室は物珍しくない
1. 事実2から、推論1: "その作業室が網棚でないかまたはそれは落ち零れないかまたはどちらもならば物珍しくない"が導かれる
2. 事実17と事実10から、推論2: "その作業室は網棚だということはないかもしくはそれは落ち零れるということはないかもしくは両方だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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