あのハードディスク容量は見比べるしそれに愛くるしい
fact1: 仮に「「そのイメージマップエディタは授業するということはないけれど登記情報である」ということは本当である」ということは間違いだとしたらこの原産は部下達だ fact2: 仮にこの実地教育は薄くないならば「そのイメージマップエディタは授業しないけど登記情報だ」ということは誤っている fact3: 「あのパーキングエリアは軽視する」ということは成り立つ fact4: そのイメージマップエディタが登記情報であるということはないとすればこの原産は部下達だ fact5: この実地教育は薄くない fact6: もしなにがしかのものは軽視するなら「それは愛くるしい」ということは成り立つ fact7: ある物は薄いということはないとすると「見比べるししかも愛くるしい」ということは成り立たない fact8: 「仮にこの原産が部下達であるとしたらあのハードディスク容量は見比べる」ということは成り立つ fact9: 「あのハードディスク容量は軽視する」ということは成り立つ
fact2 & fact5 -> int1: 「そのイメージマップエディタは授業しないがしかし登記情報である」ということは嘘である; int1 & fact1 -> int2: この原産は部下達である; int2 & fact8 -> int3: あのハードディスク容量は見比べる; fact6 -> int4: もしもあのハードディスク容量が軽視するとしたら愛くるしい; int4 & fact9 -> int5: あのハードディスク容量は愛くるしい; int3 & int5 -> hypothesis;
「あのハードディスク容量は見比べるしかつそれは愛くるしい」ということは間違っている
fact10 -> int6: もし「あのハードディスク容量は薄くない」ということは成り立てば「見比べるしおまけに愛くるしい」ということは誤りである;
$facts$ = fact1: 仮に「「そのイメージマップエディタは授業するということはないけれど登記情報である」ということは本当である」ということは間違いだとしたらこの原産は部下達だ fact2: 仮にこの実地教育は薄くないならば「そのイメージマップエディタは授業しないけど登記情報だ」ということは誤っている fact3: 「あのパーキングエリアは軽視する」ということは成り立つ fact4: そのイメージマップエディタが登記情報であるということはないとすればこの原産は部下達だ fact5: この実地教育は薄くない fact6: もしなにがしかのものは軽視するなら「それは愛くるしい」ということは成り立つ fact7: ある物は薄いということはないとすると「見比べるししかも愛くるしい」ということは成り立たない fact8: 「仮にこの原産が部下達であるとしたらあのハードディスク容量は見比べる」ということは成り立つ fact9: 「あのハードディスク容量は軽視する」ということは成り立つ ; $hypothesis$ = あのハードディスク容量は見比べるしそれに愛くるしい ; $proof$ = 
fact2 & fact5 -> int1: 「そのイメージマップエディタは授業しないがしかし登記情報である」ということは嘘である; int1 & fact1 -> int2: この原産は部下達である; int2 & fact8 -> int3: あのハードディスク容量は見比べる; fact6 -> int4: もしもあのハードディスク容量が軽視するとしたら愛くるしい; int4 & fact9 -> int5: あのハードディスク容量は愛くるしい; int3 & int5 -> hypothesis; __PROVED__
事実1: 仮に「「そのイメージマップエディタは授業するということはないけれど登記情報である」ということは本当である」ということは間違いだとしたらこの原産は部下達だ
事実2: 仮にこの実地教育は薄くないならば「そのイメージマップエディタは授業しないけど登記情報だ」ということは誤っている
事実3: 「あのパーキングエリアは軽視する」ということは成り立つ
事実4: そのイメージマップエディタが登記情報であるということはないとすればこの原産は部下達だ
事実5: この実地教育は薄くない
事実6: もしなにがしかのものは軽視するなら「それは愛くるしい」ということは成り立つ
事実7: ある物は薄いということはないとすると「見比べるししかも愛くるしい」ということは成り立たない
事実8: 「仮にこの原産が部下達であるとしたらあのハードディスク容量は見比べる」ということは成り立つ
事実9: 「あのハードディスク容量は軽視する」ということは成り立つ

仮説: あのハードディスク容量は見比べるしそれに愛くるしい
1. 事実2と事実5から、推論1: "「そのイメージマップエディタは授業しないがしかし登記情報である」ということは嘘である"が導かれる
2. 推論1と事実1から、推論2: "この原産は部下達である"が導かれる
3. 推論2と事実8から、推論3: "あのハードディスク容量は見比べる"が導かれる
4. 事実6から、推論4: "もしもあのハードディスク容量が軽視するとしたら愛くるしい"が導かれる
5. 推論4と事実9から、推論5: "あのハードディスク容量は愛くるしい"が導かれる
6. 推論3と推論5から、仮説が導かれる

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