「そのオブジェクト選択は新調する」ということは本当だ
fact1: もしも「その東アジア共同体はわりない」ということは間違っていないとすれば「そのオブジェクト選択は新調する」ということは確かだ fact2: もしその東アジア共同体がわりないならそれは新調する fact3: そのバヤはわりない fact4: 仮にそのオブジェクト選択が新調するとすればわりない fact5: もしもそのオブジェクト選択が新調すれば所らしい fact6: 仮になんらかのものは無機ＳＩＭＳであるということはないならばそれは刈り取るけど解雇しない fact7: 「その東アジア共同体は新調するしまたわりない」ということは成り立たないならば「そのオブジェクト選択は新調する」ということは成り立たない fact8: 何らかのものは迷い難いかもしくは多用するかもしくはどちらもだ fact9: もし「なにかは多用するしそれは抑制し合う」ということは誤りでないならそれは無機ＳＩＭＳでない fact10: そのオブジェクト選択は進捗する fact11: このドーラは進捗する fact12: 仮になにかは刈り取るが解雇しないならば進捗しない fact13: もし仮にその東アジア共同体が進捗するならそれはわりない fact14: その東アジア共同体は進捗する fact15: もし仮になんらかのものは進捗するということはないとしたら「「新調するしそれにわりない」ということは事実だ」ということは成り立たない fact16: もしそのオブジェクト選択がわりないならばそれは新調する fact17: もしその総計が進捗するとするとさり気無い fact18: 仮にそのオブジェクト選択が進捗するとするとその東アジア共同体は新調する fact19: 仮にあの郷土誌が再会するならぶち切れる
fact13 & fact14 -> int1: 「その東アジア共同体はわりない」ということは確かだ; int1 & fact1 -> hypothesis;
fact13 & fact14 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
そのオブジェクト選択は新調するということはない
fact25 -> int2: その東アジア共同体は進捗しないなら「「新調するしおまけにわりない」ということは正しい」ということは誤っている; fact24 -> int3: その東アジア共同体は刈り取るけど解雇するということはないならばそれは進捗しない; fact21 -> int4: もしも「その東アジア共同体は無機ＳＩＭＳでない」ということは真実であるとしたら刈り取るけれど解雇するということはない; fact20 -> int5: もし仮にその東アジア共同体は多用するし抑制し合うなら「それは無機ＳＩＭＳでない」ということは確かである;
$facts$ = fact1: もしも「その東アジア共同体はわりない」ということは間違っていないとすれば「そのオブジェクト選択は新調する」ということは確かだ fact2: もしその東アジア共同体がわりないならそれは新調する fact3: そのバヤはわりない fact4: 仮にそのオブジェクト選択が新調するとすればわりない fact5: もしもそのオブジェクト選択が新調すれば所らしい fact6: 仮になんらかのものは無機ＳＩＭＳであるということはないならばそれは刈り取るけど解雇しない fact7: 「その東アジア共同体は新調するしまたわりない」ということは成り立たないならば「そのオブジェクト選択は新調する」ということは成り立たない fact8: 何らかのものは迷い難いかもしくは多用するかもしくはどちらもだ fact9: もし「なにかは多用するしそれは抑制し合う」ということは誤りでないならそれは無機ＳＩＭＳでない fact10: そのオブジェクト選択は進捗する fact11: このドーラは進捗する fact12: 仮になにかは刈り取るが解雇しないならば進捗しない fact13: もし仮にその東アジア共同体が進捗するならそれはわりない fact14: その東アジア共同体は進捗する fact15: もし仮になんらかのものは進捗するということはないとしたら「「新調するしそれにわりない」ということは事実だ」ということは成り立たない fact16: もしそのオブジェクト選択がわりないならばそれは新調する fact17: もしその総計が進捗するとするとさり気無い fact18: 仮にそのオブジェクト選択が進捗するとするとその東アジア共同体は新調する fact19: 仮にあの郷土誌が再会するならぶち切れる ; $hypothesis$ = 「そのオブジェクト選択は新調する」ということは本当だ ; $proof$ = 
fact13 & fact14 -> int1: 「その東アジア共同体はわりない」ということは確かだ; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしも「その東アジア共同体はわりない」ということは間違っていないとすれば「そのオブジェクト選択は新調する」ということは確かだ
事実2: もしその東アジア共同体がわりないならそれは新調する
事実3: そのバヤはわりない
事実4: 仮にそのオブジェクト選択が新調するとすればわりない
事実5: もしもそのオブジェクト選択が新調すれば所らしい
事実6: 仮になんらかのものは無機ＳＩＭＳであるということはないならばそれは刈り取るけど解雇しない
事実7: 「その東アジア共同体は新調するしまたわりない」ということは成り立たないならば「そのオブジェクト選択は新調する」ということは成り立たない
事実8: 何らかのものは迷い難いかもしくは多用するかもしくはどちらもだ
事実9: もし「なにかは多用するしそれは抑制し合う」ということは誤りでないならそれは無機ＳＩＭＳでない
事実10: そのオブジェクト選択は進捗する
事実11: このドーラは進捗する
事実12: 仮になにかは刈り取るが解雇しないならば進捗しない
事実13: もし仮にその東アジア共同体が進捗するならそれはわりない
事実14: その東アジア共同体は進捗する
事実15: もし仮になんらかのものは進捗するということはないとしたら「「新調するしそれにわりない」ということは事実だ」ということは成り立たない
事実16: もしそのオブジェクト選択がわりないならばそれは新調する
事実17: もしその総計が進捗するとするとさり気無い
事実18: 仮にそのオブジェクト選択が進捗するとするとその東アジア共同体は新調する
事実19: 仮にあの郷土誌が再会するならぶち切れる

仮説: 「そのオブジェクト選択は新調する」ということは本当だ
1. 事実13と事実14から、推論1: "「その東アジア共同体はわりない」ということは確かだ"が導かれる
2. 推論1と事実1から、仮説が導かれる

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