この局所再発は思索する
fact1: あのライティングソフトは間近いし揉み洗いする fact2: あのＡＸＩＳはぶら下げる fact3: 仮に「「気安いということはない一方でコントロールし易い」ということは成り立たない」ものがあればこの追い越し車線は黒くない fact4: もし仮にこの局所再発が思索するし若者らしいならあのＡＸＩＳは間近くない fact5: もしあのＡＸＩＳが若者らしいし間近いなら「この局所再発は思索しない」ということは成り立つ fact6: 「あの受理は気安くない一方でコントロールし易い」ということは成り立たない fact7: もしも「なにかは黒い一方で気安くない」ということは誤っているなら思索する fact8: 「あのＡＸＩＳは若者らしい」ということは真実だ fact9: そのモロ族は格闘するし手っ取り早い fact10: とある物は若者らしくないとしたら「間近いししかもそれは思索しない」ということは間違いだ fact11: もしもある物はコントロールし易いとすると「黒いし加えてそれは気安くない」ということは間違っている fact12: この住宅建設は納車だしマイクロだ fact13: そのサービス価値は止血効果であるしそれは後ろ暗い fact14: この局所再発は性分らしいしおまけにそれは貴方らしい fact15: もしもこの局所再発が若者らしいしかつ思索するとすれば「あのＡＸＩＳは間近くない」ということは確かだ fact16: あのＡＸＩＳは間近い fact17: もしもなにがしかの物は若者らしいかもしくは間近いということはないとすれば若者らしい
fact8 & fact16 -> int1: あのＡＸＩＳは若者らしいし間近い; int1 & fact5 -> hypothesis;
あの復活祭は若者らしい
fact19 -> int2: もしあの復活祭が若者らしいか間近くないかまたは両方ともであるなら若者らしい; fact20 -> int3: もし仮に「あの復活祭は黒いが気安いということはない」ということは偽であるとするとそれは思索する; fact18 -> int4: 仮にあの復活祭はコントロールし易いなら「それは黒くて更に気安いということはない」ということは偽である;
$facts$ = fact1: あのライティングソフトは間近いし揉み洗いする fact2: あのＡＸＩＳはぶら下げる fact3: 仮に「「気安いということはない一方でコントロールし易い」ということは成り立たない」ものがあればこの追い越し車線は黒くない fact4: もし仮にこの局所再発が思索するし若者らしいならあのＡＸＩＳは間近くない fact5: もしあのＡＸＩＳが若者らしいし間近いなら「この局所再発は思索しない」ということは成り立つ fact6: 「あの受理は気安くない一方でコントロールし易い」ということは成り立たない fact7: もしも「なにかは黒い一方で気安くない」ということは誤っているなら思索する fact8: 「あのＡＸＩＳは若者らしい」ということは真実だ fact9: そのモロ族は格闘するし手っ取り早い fact10: とある物は若者らしくないとしたら「間近いししかもそれは思索しない」ということは間違いだ fact11: もしもある物はコントロールし易いとすると「黒いし加えてそれは気安くない」ということは間違っている fact12: この住宅建設は納車だしマイクロだ fact13: そのサービス価値は止血効果であるしそれは後ろ暗い fact14: この局所再発は性分らしいしおまけにそれは貴方らしい fact15: もしもこの局所再発が若者らしいしかつ思索するとすれば「あのＡＸＩＳは間近くない」ということは確かだ fact16: あのＡＸＩＳは間近い fact17: もしもなにがしかの物は若者らしいかもしくは間近いということはないとすれば若者らしい ; $hypothesis$ = この局所再発は思索する ; $proof$ = 
fact8 & fact16 -> int1: あのＡＸＩＳは若者らしいし間近い; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: あのライティングソフトは間近いし揉み洗いする
事実2: あのＡＸＩＳはぶら下げる
事実3: 仮に「「気安いということはない一方でコントロールし易い」ということは成り立たない」ものがあればこの追い越し車線は黒くない
事実4: もし仮にこの局所再発が思索するし若者らしいならあのＡＸＩＳは間近くない
事実5: もしあのＡＸＩＳが若者らしいし間近いなら「この局所再発は思索しない」ということは成り立つ
事実6: 「あの受理は気安くない一方でコントロールし易い」ということは成り立たない
事実7: もしも「なにかは黒い一方で気安くない」ということは誤っているなら思索する
事実8: 「あのＡＸＩＳは若者らしい」ということは真実だ
事実9: そのモロ族は格闘するし手っ取り早い
事実10: とある物は若者らしくないとしたら「間近いししかもそれは思索しない」ということは間違いだ
事実11: もしもある物はコントロールし易いとすると「黒いし加えてそれは気安くない」ということは間違っている
事実12: この住宅建設は納車だしマイクロだ
事実13: そのサービス価値は止血効果であるしそれは後ろ暗い
事実14: この局所再発は性分らしいしおまけにそれは貴方らしい
事実15: もしもこの局所再発が若者らしいしかつ思索するとすれば「あのＡＸＩＳは間近くない」ということは確かだ
事実16: あのＡＸＩＳは間近い
事実17: もしもなにがしかの物は若者らしいかもしくは間近いということはないとすれば若者らしい

仮説: この局所再発は思索する
1. 事実8と事実16から、推論1: "あのＡＸＩＳは若者らしいし間近い"が導かれる
2. 推論1と事実5から、仮説が否定される

よって、仮説が否定されました。