このフルスペック版は持ち家率でない
fact1: もし「この人脈はにこにこする」ということは偽でないとするとあの大気圏はフランカーでない fact2: 「何らかのものは生成し易くないしさらにフランカーでない」ということは嘘であるとしたらそれはにこにこしない fact3: 「盗み見しない」物はある fact4: 「あの大気圏はにこにこするということはないしさらに盗み見しない」ということは本当だ fact5: 仮に何らかの物は男の子らしいとすれば「それは三分の二程度だけれど社会科見学でない」ということは誤っている fact6: 「このフルスペック版は生成し易くないしフランカーでない」ということは間違いだ fact7: もしも何かは形成出来るとすると「それは盗み見する」ということは確かである fact8: 「もし仮に「この人脈は生成し易いかあるいはそれはフランカーであるか両方である」ということは事実だとするとこのフルスペック版は持ち家率でない」ということは真実だ fact9: 「生成し易くないしかつ持ち家率である」ものはある fact10: もし仮に何らかのものがにこにこしないし更にそれが盗み見しないとすればあの人脈は生成し易い fact11: 仮にこの人脈がにこにこするならあのリポソームは持ち家率だ fact12: 仮に「なにかは三分の二程度であるけど社会科見学でない」ということは確かでないならばそれは三分の二程度でない fact13: 「「盗み見するけれど持ち家率でない」ということは確かである」物はある fact14: 仮にこのフルスペック版は宅配しないとすれば「「それは男の子らしくないけれど日本占領である」ということは本当である」ということは偽だ fact15: もし仮にこのフルスペック版が三分の二程度でないなら形成出来るし戯けである fact16: 仮に「「このフルスペック版は男の子らしくないがしかし日本占領である」ということは事実と異なる」ということは正しいとするとそれは男の子らしい fact17: 何かはにこにこしないがしかし盗み見するとすると持ち家率だ
fact4 -> int1: あるものはにこにこしなくてそれに盗み見しない; int1 & fact10 -> int2: この人脈は生成し易い; int2 -> int3: この人脈は生成し易いかあるいはフランカーである; int3 & fact8 -> hypothesis;
このフルスペック版は持ち家率だ
fact25 -> int4: もしこのフルスペック版はにこにこしないけれど盗み見するとしたらそれは持ち家率である; fact19 -> int5: もしも「「このフルスペック版は生成し易くないしフランカーでない」ということは成り立つということはない」ということは真実であるならばそれはにこにこしない; int5 & fact18 -> int6: このフルスペック版はにこにこしない; fact23 -> int7: このフルスペック版が形成出来ればそれは盗み見する; fact21 -> int8: もし「このフルスペック版は三分の二程度であるけれどそれは社会科見学でない」ということは誤りであるならそれは三分の二程度でない; fact20 -> int9: もし「このフルスペック版は男の子らしい」ということは事実ならば「三分の二程度であるが社会科見学だということはない」ということは偽だ;
$facts$ = fact1: もし「この人脈はにこにこする」ということは偽でないとするとあの大気圏はフランカーでない fact2: 「何らかのものは生成し易くないしさらにフランカーでない」ということは嘘であるとしたらそれはにこにこしない fact3: 「盗み見しない」物はある fact4: 「あの大気圏はにこにこするということはないしさらに盗み見しない」ということは本当だ fact5: 仮に何らかの物は男の子らしいとすれば「それは三分の二程度だけれど社会科見学でない」ということは誤っている fact6: 「このフルスペック版は生成し易くないしフランカーでない」ということは間違いだ fact7: もしも何かは形成出来るとすると「それは盗み見する」ということは確かである fact8: 「もし仮に「この人脈は生成し易いかあるいはそれはフランカーであるか両方である」ということは事実だとするとこのフルスペック版は持ち家率でない」ということは真実だ fact9: 「生成し易くないしかつ持ち家率である」ものはある fact10: もし仮に何らかのものがにこにこしないし更にそれが盗み見しないとすればあの人脈は生成し易い fact11: 仮にこの人脈がにこにこするならあのリポソームは持ち家率だ fact12: 仮に「なにかは三分の二程度であるけど社会科見学でない」ということは確かでないならばそれは三分の二程度でない fact13: 「「盗み見するけれど持ち家率でない」ということは確かである」物はある fact14: 仮にこのフルスペック版は宅配しないとすれば「「それは男の子らしくないけれど日本占領である」ということは本当である」ということは偽だ fact15: もし仮にこのフルスペック版が三分の二程度でないなら形成出来るし戯けである fact16: 仮に「「このフルスペック版は男の子らしくないがしかし日本占領である」ということは事実と異なる」ということは正しいとするとそれは男の子らしい fact17: 何かはにこにこしないがしかし盗み見するとすると持ち家率だ ; $hypothesis$ = このフルスペック版は持ち家率でない ; $proof$ = 
fact4 -> int1: あるものはにこにこしなくてそれに盗み見しない; int1 & fact10 -> int2: この人脈は生成し易い; int2 -> int3: この人脈は生成し易いかあるいはフランカーである; int3 & fact8 -> hypothesis; __PROVED__
事実1: もし「この人脈はにこにこする」ということは偽でないとするとあの大気圏はフランカーでない
事実2: 「何らかのものは生成し易くないしさらにフランカーでない」ということは嘘であるとしたらそれはにこにこしない
事実3: 「盗み見しない」物はある
事実4: 「あの大気圏はにこにこするということはないしさらに盗み見しない」ということは本当だ
事実5: 仮に何らかの物は男の子らしいとすれば「それは三分の二程度だけれど社会科見学でない」ということは誤っている
事実6: 「このフルスペック版は生成し易くないしフランカーでない」ということは間違いだ
事実7: もしも何かは形成出来るとすると「それは盗み見する」ということは確かである
事実8: 「もし仮に「この人脈は生成し易いかあるいはそれはフランカーであるか両方である」ということは事実だとするとこのフルスペック版は持ち家率でない」ということは真実だ
事実9: 「生成し易くないしかつ持ち家率である」ものはある
事実10: もし仮に何らかのものがにこにこしないし更にそれが盗み見しないとすればあの人脈は生成し易い
事実11: 仮にこの人脈がにこにこするならあのリポソームは持ち家率だ
事実12: 仮に「なにかは三分の二程度であるけど社会科見学でない」ということは確かでないならばそれは三分の二程度でない
事実13: 「「盗み見するけれど持ち家率でない」ということは確かである」物はある
事実14: 仮にこのフルスペック版は宅配しないとすれば「「それは男の子らしくないけれど日本占領である」ということは本当である」ということは偽だ
事実15: もし仮にこのフルスペック版が三分の二程度でないなら形成出来るし戯けである
事実16: 仮に「「このフルスペック版は男の子らしくないがしかし日本占領である」ということは事実と異なる」ということは正しいとするとそれは男の子らしい
事実17: 何かはにこにこしないがしかし盗み見するとすると持ち家率だ

仮説: このフルスペック版は持ち家率でない
1. 事実4から、推論1: "あるものはにこにこしなくてそれに盗み見しない"が導かれる
2. 推論1と事実10から、推論2: "この人脈は生成し易い"が導かれる
3. 推論2から、推論3: "この人脈は生成し易いかあるいはフランカーである"が導かれる
4. 推論3と事実8から、仮説が導かれる

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