その学則はホイスである
fact1: もし仮に「あの企業倒産は快くない一方で愛情深い」ということは誤っているとしたらその学則は愛情深くない fact2: もし仮になにがしかの物は柳本艦長でないならば「それは快くないがしかし愛情深い」ということは嘘である fact3: もしなにがしかの物が養液栽培でないとするとそれはホイスで更に数時間毎だ fact4: 「この都道府県別は狭まる」ということは成り立つ fact5: この桃畑はホイスだ fact6: 「その学則は消費ニーズでない」ということは間違いである fact7: その学則はホイスである fact8: 「あの各レベルはホイスだ」ということは事実だ fact9: もしこの都道府県別が狭まるとしたらあの企業倒産は乏しくないしおまけに熱中し始めない fact10: この発振はホイスだ fact11: その学則は程良い fact12: その仕事帰りはホイスである fact13: 仮にあの企業倒産は乏しくなくて更に熱中し始めないとすればそれは柳本艦長でない fact14: その学則は転び易い fact15: あの紅毛碧眼はホイスである fact16: その学則は顕彰する
fact7 -> hypothesis;
fact7 -> hypothesis;
その徴収方法はホイスだ
fact18 -> int1: もし仮にその徴収方法は養液栽培であるということはないとしたらホイスだしおまけに数時間毎である; fact17 -> int2: もしもあの企業倒産は柳本艦長でないとしたら「それは快くないしおまけに愛情深い」ということは嘘だ; fact22 & fact21 -> int3: あの企業倒産は乏しくなくてまた熱中し始めない; fact20 & int3 -> int4: あの企業倒産は柳本艦長でない; int2 & int4 -> int5: 「あの企業倒産は快くないが愛情深い」ということは正しくない; fact19 & int5 -> int6: その学則は愛情深くない; int6 -> int7: 「愛情深くない」物はある;
$facts$ = fact1: もし仮に「あの企業倒産は快くない一方で愛情深い」ということは誤っているとしたらその学則は愛情深くない fact2: もし仮になにがしかの物は柳本艦長でないならば「それは快くないがしかし愛情深い」ということは嘘である fact3: もしなにがしかの物が養液栽培でないとするとそれはホイスで更に数時間毎だ fact4: 「この都道府県別は狭まる」ということは成り立つ fact5: この桃畑はホイスだ fact6: 「その学則は消費ニーズでない」ということは間違いである fact7: その学則はホイスである fact8: 「あの各レベルはホイスだ」ということは事実だ fact9: もしこの都道府県別が狭まるとしたらあの企業倒産は乏しくないしおまけに熱中し始めない fact10: この発振はホイスだ fact11: その学則は程良い fact12: その仕事帰りはホイスである fact13: 仮にあの企業倒産は乏しくなくて更に熱中し始めないとすればそれは柳本艦長でない fact14: その学則は転び易い fact15: あの紅毛碧眼はホイスである fact16: その学則は顕彰する ; $hypothesis$ = その学則はホイスである ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし仮に「あの企業倒産は快くない一方で愛情深い」ということは誤っているとしたらその学則は愛情深くない
事実2: もし仮になにがしかの物は柳本艦長でないならば「それは快くないがしかし愛情深い」ということは嘘である
事実3: もしなにがしかの物が養液栽培でないとするとそれはホイスで更に数時間毎だ
事実4: 「この都道府県別は狭まる」ということは成り立つ
事実5: この桃畑はホイスだ
事実6: 「その学則は消費ニーズでない」ということは間違いである
事実7: その学則はホイスである
事実8: 「あの各レベルはホイスだ」ということは事実だ
事実9: もしこの都道府県別が狭まるとしたらあの企業倒産は乏しくないしおまけに熱中し始めない
事実10: この発振はホイスだ
事実11: その学則は程良い
事実12: その仕事帰りはホイスである
事実13: 仮にあの企業倒産は乏しくなくて更に熱中し始めないとすればそれは柳本艦長でない
事実14: その学則は転び易い
事実15: あの紅毛碧眼はホイスである
事実16: その学則は顕彰する

仮説: その学則はホイスである
1. 事実7から、仮説が導かれる

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