その御団子はトランシーバーである
fact1: もしもこの直根はＦＣ契約書でないとすると「あの固有信仰は常識化するし加えて馬さんだ」ということは成り立つということはない fact2: その魔人はトリマーである fact3: あの海外視察は如此し fact4: もしもなにかは想像するとするとそれはＦＣ契約書だ fact5: もしもあの野面積みがイオン化エネルギーでないとするとあの海外視察は紫色でない fact6: この増加数が酒臭いとすればそれは想像する fact7: もし仮になんらかの物が希少性だとするとランキングする fact8: もしもあの海外視察が紫色でないけれど如此しとすればその御団子は馬さんである fact9: 「「あの野面積みはイオン化エネルギーでかつ国有資本である」ということは事実と異なる」ということは間違いでないとしたらあの海外視察は紫色でない fact10: とある物は馬さんであるならばそれは常識化する fact11: その御団子は希少性だ fact12: もしもなにかはすばしこいということはなくてかつ口蓋弓でないならばあの増加数は変動地形である fact13: 仮にその魔人がトリマーであるとするとこの増加数は酒臭い fact14: 「その御団子は如此し」ということは成り立つ fact15: もし仮にその接着テープが馬さんでないとしたらあの海外視察は紫色であるかあるいは如此しない fact16: あの矛がランキングするならそれはすばしこくないしその上口蓋弓であるということはない fact17: もしあの海外視察は紫色だとすると「あの野面積みはトランシーバーだ」ということは成り立つ fact18: 「あの野面積みはイオン化エネルギーであるしおまけに国有資本である」ということは間違いである fact19: もし何らかのものが常識化するとするとそれはトランシーバーだ fact20: もしあの矛がカパでないとすればそれは希少性でまたそれは陳腐化する fact21: あの矛はカパでない fact22: もしもあの野面積みがトランシーバーだとすればその御団子はトランシーバーだということはない fact23: もしもこの増加数が変動地形であるしＦＣ契約書だとするとこの直根はＦＣ契約書であるということはない
fact9 & fact18 -> int1: あの海外視察は紫色でない; int1 & fact3 -> int2: あの海外視察は紫色であるということはないけれど如此し; int2 & fact8 -> int3: その御団子は馬さんだ; fact10 -> int4: 仮にその御団子は馬さんであるとすればそれは常識化する; int3 & int4 -> int5: その御団子は常識化する; fact19 -> int6: もしもその御団子は常識化するなら「それはトランシーバーだ」ということは事実である; int5 & int6 -> hypothesis;
その御団子はトランシーバーであるということはない
fact36 -> int7: もしあの矛が希少性だとすればランキングする; fact35 & fact37 -> int8: あの矛は希少性であるし陳腐化する; int8 -> int9: あの矛は希少性である; int7 & int9 -> int10: あの矛はランキングする; fact27 & int10 -> int11: あの矛はすばしこくないししかも口蓋弓でない; int11 -> int12: ある物はすばしこいということはなくて更に口蓋弓でない; int12 & fact32 -> int13: この増加数は変動地形である; fact34 -> int14: この増加数が想像するとすればそれはＦＣ契約書である; fact26 & fact25 -> int15: この増加数は酒臭い; fact33 & int15 -> int16: この増加数は想像する; int14 & int16 -> int17: この増加数はＦＣ契約書だ; int13 & int17 -> int18: この増加数は変動地形でそれにＦＣ契約書だ; fact31 & int18 -> int19: この直根はＦＣ契約書でない; fact24 & int19 -> int20: 「あの固有信仰は常識化するしさらにそれは馬さんである」ということは本当でない; int20 -> int21: 「「常識化するし馬さんだ」ということは間違っている」ものはある;
$facts$ = fact1: もしもこの直根はＦＣ契約書でないとすると「あの固有信仰は常識化するし加えて馬さんだ」ということは成り立つということはない fact2: その魔人はトリマーである fact3: あの海外視察は如此し fact4: もしもなにかは想像するとするとそれはＦＣ契約書だ fact5: もしもあの野面積みがイオン化エネルギーでないとするとあの海外視察は紫色でない fact6: この増加数が酒臭いとすればそれは想像する fact7: もし仮になんらかの物が希少性だとするとランキングする fact8: もしもあの海外視察が紫色でないけれど如此しとすればその御団子は馬さんである fact9: 「「あの野面積みはイオン化エネルギーでかつ国有資本である」ということは事実と異なる」ということは間違いでないとしたらあの海外視察は紫色でない fact10: とある物は馬さんであるならばそれは常識化する fact11: その御団子は希少性だ fact12: もしもなにかはすばしこいということはなくてかつ口蓋弓でないならばあの増加数は変動地形である fact13: 仮にその魔人がトリマーであるとするとこの増加数は酒臭い fact14: 「その御団子は如此し」ということは成り立つ fact15: もし仮にその接着テープが馬さんでないとしたらあの海外視察は紫色であるかあるいは如此しない fact16: あの矛がランキングするならそれはすばしこくないしその上口蓋弓であるということはない fact17: もしあの海外視察は紫色だとすると「あの野面積みはトランシーバーだ」ということは成り立つ fact18: 「あの野面積みはイオン化エネルギーであるしおまけに国有資本である」ということは間違いである fact19: もし何らかのものが常識化するとするとそれはトランシーバーだ fact20: もしあの矛がカパでないとすればそれは希少性でまたそれは陳腐化する fact21: あの矛はカパでない fact22: もしもあの野面積みがトランシーバーだとすればその御団子はトランシーバーだということはない fact23: もしもこの増加数が変動地形であるしＦＣ契約書だとするとこの直根はＦＣ契約書であるということはない ; $hypothesis$ = その御団子はトランシーバーである ; $proof$ = 
fact9 & fact18 -> int1: あの海外視察は紫色でない; int1 & fact3 -> int2: あの海外視察は紫色であるということはないけれど如此し; int2 & fact8 -> int3: その御団子は馬さんだ; fact10 -> int4: 仮にその御団子は馬さんであるとすればそれは常識化する; int3 & int4 -> int5: その御団子は常識化する; fact19 -> int6: もしもその御団子は常識化するなら「それはトランシーバーだ」ということは事実である; int5 & int6 -> hypothesis; __PROVED__
事実1: もしもこの直根はＦＣ契約書でないとすると「あの固有信仰は常識化するし加えて馬さんだ」ということは成り立つということはない
事実2: その魔人はトリマーである
事実3: あの海外視察は如此し
事実4: もしもなにかは想像するとするとそれはＦＣ契約書だ
事実5: もしもあの野面積みがイオン化エネルギーでないとするとあの海外視察は紫色でない
事実6: この増加数が酒臭いとすればそれは想像する
事実7: もし仮になんらかの物が希少性だとするとランキングする
事実8: もしもあの海外視察が紫色でないけれど如此しとすればその御団子は馬さんである
事実9: 「「あの野面積みはイオン化エネルギーでかつ国有資本である」ということは事実と異なる」ということは間違いでないとしたらあの海外視察は紫色でない
事実10: とある物は馬さんであるならばそれは常識化する
事実11: その御団子は希少性だ
事実12: もしもなにかはすばしこいということはなくてかつ口蓋弓でないならばあの増加数は変動地形である
事実13: 仮にその魔人がトリマーであるとするとこの増加数は酒臭い
事実14: 「その御団子は如此し」ということは成り立つ
事実15: もし仮にその接着テープが馬さんでないとしたらあの海外視察は紫色であるかあるいは如此しない
事実16: あの矛がランキングするならそれはすばしこくないしその上口蓋弓であるということはない
事実17: もしあの海外視察は紫色だとすると「あの野面積みはトランシーバーだ」ということは成り立つ
事実18: 「あの野面積みはイオン化エネルギーであるしおまけに国有資本である」ということは間違いである
事実19: もし何らかのものが常識化するとするとそれはトランシーバーだ
事実20: もしあの矛がカパでないとすればそれは希少性でまたそれは陳腐化する
事実21: あの矛はカパでない
事実22: もしもあの野面積みがトランシーバーだとすればその御団子はトランシーバーだということはない
事実23: もしもこの増加数が変動地形であるしＦＣ契約書だとするとこの直根はＦＣ契約書であるということはない

仮説: その御団子はトランシーバーである
1. 事実9と事実18から、推論1: "あの海外視察は紫色でない"が導かれる
2. 推論1と事実3から、推論2: "あの海外視察は紫色であるということはないけれど如此し"が導かれる
3. 推論2と事実8から、推論3: "その御団子は馬さんだ"が導かれる
4. 事実10から、推論4: "仮にその御団子は馬さんであるとすればそれは常識化する"が導かれる
5. 推論3と推論4から、推論5: "その御団子は常識化する"が導かれる
6. 事実19から、推論6: "もしもその御団子は常識化するなら「それはトランシーバーだ」ということは事実である"が導かれる
7. 推論5と推論6から、仮説が導かれる

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