そのＡＬＴキーは目的語名詞でないがしかし意志する
fact1: そのＡＬＴキーは美しないがそれはぶっとい fact2: なにかはゴムボートでないなら「それは目的語名詞でない一方で意志する」ということは誤りである fact3: そのＡＬＴキーは目的語名詞でないがしかし安い fact4: もし「あのデモ隊はＩＰでないけれど単離する」ということは成り立たないとしたらそれは単離しない fact5: もしも「何かは安いしおまけに厭わしい」ということは嘘であるとするとそれは安くない fact6: それはＩＰでなくて加えてそれは単離するというものはない fact7: もしなにかはゴムボートならば「それは滑れないしそれは安い」ということは成り立たない fact8: もしゴムボートが滑れればそのＡＬＴキーは穴熊だ fact9: 「滑れる」ものはある fact10: 「ゴムボートである」ものはある fact11: そのＡＬＴキーは滑れる fact12: 仮に「あの売り上げ高売り上げ総利益率は滑れるし加えてそれは穴熊だ」ということは嘘であるならばそのＡＬＴキーはゴムボートでない fact13: この累積確率密度は意志する fact14: もし仮にそのＡＬＴキーは穴熊だとすれば「意志する」ということは事実だ fact15: 何かは十五時半でないとすると「このロンリーハーツ・ゴスペル教会は安いし厭わしい」ということは誤っている fact16: 「何かはゴムボートだしさらにそれは滑れる」ということは成り立つ fact17: もしも「そのＡＬＴキーは滑れないがしかしそれは安い」ということは成り立たないとしたらその裁判所法は安い fact18: あの各科目はドラッグしないけど滑れる fact19: なにかは単離しないとすると抜爪しないかまたは十五時半でないか両方ともだ fact20: もしもあのデモ隊が抜爪しないかまたはそれが十五時半だということはないかあるいは両方ともならその土蜘蛛は十五時半だということはない fact21: 仮にあの売り上げ高売り上げ総利益率が穴熊であるとするとそのＡＬＴキーはゴムボートだ fact22: 「そのＡＬＴキーは安い」ということは成り立つ
fact16 & fact8 -> int1: そのＡＬＴキーは穴熊である; int1 & fact14 -> int2: そのＡＬＴキーは意志する; fact3 -> int3: そのＡＬＴキーは目的語名詞でない; int2 & int3 -> hypothesis;
「そのＡＬＴキーは目的語名詞でないが意志する」ということは事実と異なる
fact25 -> int4: そのＡＬＴキーはゴムボートでないなら「それは目的語名詞でないし加えてそれは意志する」ということは誤っている; fact26 -> int5: 仮に「このロンリーハーツ・ゴスペル教会は安くて更に厭わしい」ということは事実と異なるとするとそれは安くない; fact30 -> int6: 仮にあのデモ隊が単離しないとすれば抜爪するということはないかまたはそれは十五時半でない; fact28 -> int7: 「あのデモ隊はＩＰでないがしかし単離する」ということは成り立たない; fact27 & int7 -> int8: あのデモ隊は単離しない; int6 & int8 -> int9: あのデモ隊は抜爪しないかあるいは十五時半でない; fact24 & int9 -> int10: その土蜘蛛は十五時半でない; int10 -> int11: 「十五時半でない」ものはある; int11 & fact23 -> int12: 「このロンリーハーツ・ゴスペル教会は安いしその上厭わしい」ということは誤りだ; int5 & int12 -> int13: このロンリーハーツ・ゴスペル教会は安くない; int13 -> int14: 「安くない」ものはある;
$facts$ = fact1: そのＡＬＴキーは美しないがそれはぶっとい fact2: なにかはゴムボートでないなら「それは目的語名詞でない一方で意志する」ということは誤りである fact3: そのＡＬＴキーは目的語名詞でないがしかし安い fact4: もし「あのデモ隊はＩＰでないけれど単離する」ということは成り立たないとしたらそれは単離しない fact5: もしも「何かは安いしおまけに厭わしい」ということは嘘であるとするとそれは安くない fact6: それはＩＰでなくて加えてそれは単離するというものはない fact7: もしなにかはゴムボートならば「それは滑れないしそれは安い」ということは成り立たない fact8: もしゴムボートが滑れればそのＡＬＴキーは穴熊だ fact9: 「滑れる」ものはある fact10: 「ゴムボートである」ものはある fact11: そのＡＬＴキーは滑れる fact12: 仮に「あの売り上げ高売り上げ総利益率は滑れるし加えてそれは穴熊だ」ということは嘘であるならばそのＡＬＴキーはゴムボートでない fact13: この累積確率密度は意志する fact14: もし仮にそのＡＬＴキーは穴熊だとすれば「意志する」ということは事実だ fact15: 何かは十五時半でないとすると「このロンリーハーツ・ゴスペル教会は安いし厭わしい」ということは誤っている fact16: 「何かはゴムボートだしさらにそれは滑れる」ということは成り立つ fact17: もしも「そのＡＬＴキーは滑れないがしかしそれは安い」ということは成り立たないとしたらその裁判所法は安い fact18: あの各科目はドラッグしないけど滑れる fact19: なにかは単離しないとすると抜爪しないかまたは十五時半でないか両方ともだ fact20: もしもあのデモ隊が抜爪しないかまたはそれが十五時半だということはないかあるいは両方ともならその土蜘蛛は十五時半だということはない fact21: 仮にあの売り上げ高売り上げ総利益率が穴熊であるとするとそのＡＬＴキーはゴムボートだ fact22: 「そのＡＬＴキーは安い」ということは成り立つ ; $hypothesis$ = そのＡＬＴキーは目的語名詞でないがしかし意志する ; $proof$ = 
fact16 & fact8 -> int1: そのＡＬＴキーは穴熊である; int1 & fact14 -> 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: もしもあのデモ隊が抜爪しないかまたはそれが十五時半だということはないかあるいは両方ともならその土蜘蛛は十五時半だということはない
事実21: 仮にあの売り上げ高売り上げ総利益率が穴熊であるとするとそのＡＬＴキーはゴムボートだ
事実22: 「そのＡＬＴキーは安い」ということは成り立つ

仮説: そのＡＬＴキーは目的語名詞でないがしかし意志する
1. 事実16と事実8から、推論1: "そのＡＬＴキーは穴熊である"が導かれる
2. 推論1と事実14から、推論2: "そのＡＬＴキーは意志する"が導かれる
3. 事実3から、推論3: "そのＡＬＴキーは目的語名詞でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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