この二人掛けは動物性蛋白質であるし和音だ
fact1: もしもある物は照準しないとすると「それは動物性蛋白質で加えて和音である」ということは誤りだ fact2: 「仮にあるものは近寄るとすると「投げ方でないしさらにそれは割り入る」ということは誤っている」ということは真実である fact3: その国文学は照準する fact4: 仮に「「永眠する一方で派生しない」ということは成り立たない」物があるならその先学達はシーク教徒でない fact5: この二人掛けは飲み直す fact6: もしも「なにかは可笑し一方で援助行動でない」ということは事実と異なるとすると「鋳直さない」ということは成り立つ fact7: 仮になんらかの物はシーク教徒でないならそれは愚かしい丸太学校である fact8: この二人掛けは投げ方である fact9: 「そのカットソーは叙述する」ということは確かだとしたら「永眠するし派生しない」ということは確かであるということはない fact10: この二人掛けは割り入る fact11: この二人掛けは和音である fact12: 仮にその国文学が照準するなら陥落する fact13: もし「何かは愚かしくない」ということは成り立つとしたら「それが可笑ししその上それは援助行動でない」ということは成り立たない fact14: なにかは鋳直さないなら近寄る fact15: もしも「その国文学は飲み直さない」ということは確かであるとすればその主債務額は照準するしさらに陥落する fact16: そのカットソーは叙述する fact17: もしもあるものが陥落するならそれは飲み直す fact18: 仮にその国文学が陥落するけれど照準しないならこの二人掛けは照準しない fact19: 仮にその先学達が愚かしいし丸太学校であるとしたらこの欧文は愚かしくない fact20: もし「その国文学は割り入る」ということは確かであるとすれば「この二人掛けは動物性蛋白質である」ということは成り立つ fact21: その国文学は投げ方であるとすれば割り入る fact22: もしもこの二人掛けが照準するとするとそれは和音である fact23: もし仮にその国文学が飲み直せば投げ方である
fact12 & fact3 -> int1: その国文学は陥落する; fact17 -> int2: もしもその国文学は陥落すれば「飲み直す」ということは確かである; int1 & int2 -> int3: 「その国文学は飲み直す」ということは真実である; int3 & fact23 -> int4: その国文学は投げ方だ; int4 & fact21 -> int5: その国文学は割り入る; int5 & fact20 -> int6: 「この二人掛けは動物性蛋白質である」ということは事実である; int6 & fact11 -> hypothesis;
その主債務額は照準する
$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$ = 
fact12 & fact3 -> int1: その国文学は陥落する; fact17 -> int2: もしもその国文学は陥落すれば「飲み直す」ということは確かである; int1 & int2 -> int3: 「その国文学は飲み直す」ということは真実である; int3 & fact23 -> int4: その国文学は投げ方だ; int4 & fact21 -> int5: その国文学は割り入る; int5 & fact20 -> int6: 「この二人掛けは動物性蛋白質である」ということは事実である; int6 & fact11 -> 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. 事実12と事実3から、推論1: "その国文学は陥落する"が導かれる
2. 事実17から、推論2: "もしもその国文学は陥落すれば「飲み直す」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "「その国文学は飲み直す」ということは真実である"が導かれる
4. 推論3と事実23から、推論4: "その国文学は投げ方だ"が導かれる
5. 推論4と事実21から、推論5: "その国文学は割り入る"が導かれる
6. 推論5と事実20から、推論6: "「この二人掛けは動物性蛋白質である」ということは事実である"が導かれる
7. 推論6と事実11から、仮説が導かれる

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