そのテストデータベースは資本的支出だしアラブ世界だ
fact1: すべては陥れない fact2: もしそのテストデータベースがアラブ世界であるし利用し続けるとしたらその核廃絶は戯画化しない fact3: もし仮にとある物が存続しないならそれは資本的支出であるし更にアラブ世界である fact4: もしその比喩が宜しくないならばそれが利用し続けるしその上比例代表選挙でない fact5: その無風は補う一方で比例代表選挙でない fact6: この具足が存続するとしたらその比喩は宜しい fact7: その比喩は宜しくない fact8: もしもその比喩が資本的支出でないなら存続するしそれは利用し続けない fact9: そのテストデータベースはアラブ世界であるしそれは宜しい fact10: 仮にあの元軍が選好するならその比喩は選好する fact11: もしなにがしかの物が利用し続けないとしたら存続するしその上宜しい fact12: そのテストデータベースは比例代表選挙でないとしたらそれは資本的支出でない fact13: もし仮に「そのテストデータベースは存続しない」ということは事実ならばアラブ世界だ fact14: あの元軍が陥れないとしたら選好するかまたはそれは遣り損なうかあるいは両方ともである fact15: 何らかの物が利用し続けないとするとそれはアラブ世界で加えて資本的支出だ fact16: 仮にその比喩が宜しくないとしたらそれは利用し続ける fact17: もしもその比喩が利用し続けるがそれが比例代表選挙でないとしたらそのテストデータベースは存続しない fact18: あの柄物は宜しくない fact19: もしもその比喩が利用し続けるしまたそれが存続すればそのテストデータベースは宜しくない fact20: その比喩が選好するし宜しいとすればあのテストデータベースは宜しくない
fact4 & fact7 -> int1: その比喩は利用し続けるけど比例代表選挙でない; int1 & fact17 -> int2: そのテストデータベースは存続しない; fact3 -> int3: もしもそのテストデータベースが存続しないならそれは資本的支出であるしかつアラブ世界である; int2 & int3 -> hypothesis;
「そのテストデータベースは資本的支出であるしおまけにアラブ世界である」ということは成り立たない
fact22 -> int4: 「あの元軍は陥れない」ということは成り立つ; fact24 & int4 -> int5: あの元軍は選好するかあるいは遣り損なうかどちらもである;
$facts$ = fact1: すべては陥れない fact2: もしそのテストデータベースがアラブ世界であるし利用し続けるとしたらその核廃絶は戯画化しない fact3: もし仮にとある物が存続しないならそれは資本的支出であるし更にアラブ世界である fact4: もしその比喩が宜しくないならばそれが利用し続けるしその上比例代表選挙でない fact5: その無風は補う一方で比例代表選挙でない fact6: この具足が存続するとしたらその比喩は宜しい fact7: その比喩は宜しくない fact8: もしもその比喩が資本的支出でないなら存続するしそれは利用し続けない fact9: そのテストデータベースはアラブ世界であるしそれは宜しい fact10: 仮にあの元軍が選好するならその比喩は選好する fact11: もしなにがしかの物が利用し続けないとしたら存続するしその上宜しい fact12: そのテストデータベースは比例代表選挙でないとしたらそれは資本的支出でない fact13: もし仮に「そのテストデータベースは存続しない」ということは事実ならばアラブ世界だ fact14: あの元軍が陥れないとしたら選好するかまたはそれは遣り損なうかあるいは両方ともである fact15: 何らかの物が利用し続けないとするとそれはアラブ世界で加えて資本的支出だ fact16: 仮にその比喩が宜しくないとしたらそれは利用し続ける fact17: もしもその比喩が利用し続けるがそれが比例代表選挙でないとしたらそのテストデータベースは存続しない fact18: あの柄物は宜しくない fact19: もしもその比喩が利用し続けるしまたそれが存続すればそのテストデータベースは宜しくない fact20: その比喩が選好するし宜しいとすればあのテストデータベースは宜しくない ; $hypothesis$ = そのテストデータベースは資本的支出だしアラブ世界だ ; $proof$ = 
fact4 & fact7 -> int1: その比喩は利用し続けるけど比例代表選挙でない; int1 & fact17 -> int2: そのテストデータベースは存続しない; fact3 -> int3: もしもそのテストデータベースが存続しないならそれは資本的支出であるしかつアラブ世界である; int2 & int3 -> hypothesis; __PROVED__
事実1: すべては陥れない
事実2: もしそのテストデータベースがアラブ世界であるし利用し続けるとしたらその核廃絶は戯画化しない
事実3: もし仮にとある物が存続しないならそれは資本的支出であるし更にアラブ世界である
事実4: もしその比喩が宜しくないならばそれが利用し続けるしその上比例代表選挙でない
事実5: その無風は補う一方で比例代表選挙でない
事実6: この具足が存続するとしたらその比喩は宜しい
事実7: その比喩は宜しくない
事実8: もしもその比喩が資本的支出でないなら存続するしそれは利用し続けない
事実9: そのテストデータベースはアラブ世界であるしそれは宜しい
事実10: 仮にあの元軍が選好するならその比喩は選好する
事実11: もしなにがしかの物が利用し続けないとしたら存続するしその上宜しい
事実12: そのテストデータベースは比例代表選挙でないとしたらそれは資本的支出でない
事実13: もし仮に「そのテストデータベースは存続しない」ということは事実ならばアラブ世界だ
事実14: あの元軍が陥れないとしたら選好するかまたはそれは遣り損なうかあるいは両方ともである
事実15: 何らかの物が利用し続けないとするとそれはアラブ世界で加えて資本的支出だ
事実16: 仮にその比喩が宜しくないとしたらそれは利用し続ける
事実17: もしもその比喩が利用し続けるがそれが比例代表選挙でないとしたらそのテストデータベースは存続しない
事実18: あの柄物は宜しくない
事実19: もしもその比喩が利用し続けるしまたそれが存続すればそのテストデータベースは宜しくない
事実20: その比喩が選好するし宜しいとすればあのテストデータベースは宜しくない

仮説: そのテストデータベースは資本的支出だしアラブ世界だ
1. 事実4と事実7から、推論1: "その比喩は利用し続けるけど比例代表選挙でない"が導かれる
2. 推論1と事実17から、推論2: "そのテストデータベースは存続しない"が導かれる
3. 事実3から、推論3: "もしもそのテストデータベースが存続しないならそれは資本的支出であるしかつアラブ世界である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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