その小指側は上げ難いということはない
fact1: もしこの一千年後が好ましいならその複合型は振るい始める fact2: 好ましい物は大東映画だということはない fact3: もし「あるものは比較し難くないけどそれは短波だ」ということは誤っているとしたらそれは上げ難い fact4: もし「嫉妬深くないかあるいは観念するかもしくは両方ともな」物があるとすればそのマトラバスティは上げ難い fact5: なにがしかのものは比較し難くないかまたはそれは短波である fact6: 何かは比較し難いか短波であるかもしくは両方である fact7: もしもその複合型が大東映画であるし嫉妬深いならばこの一千年後は大東映画でない fact8: もしも「そのマトラバスティは大東映画であるが比較し難くない」ということは誤っているとすればそれは比較し難い fact9: もしも「短波である」ものがあればあのシャイニングは大東映画である fact10: もしもあのシャイニングが大東映画であるとしたらそのマトラバスティは嫉妬深い fact11: あのシャイニングは観念するか大東映画だ fact12: もしその小指側は好ましいなら「この一千年後は上げ難い」ということは嘘でない fact13: そのマトラバスティは大東映画だ fact14: 仮にその複合型が観念するとするとその小指側は上げ難いということはない fact15: もし仮にそのマトラバスティが嫉妬深いならこの一千年後は好ましい fact16: もしあのシャイニングが振るい始めるということはないとしたらその小指側は振るい始めるということはない fact17: 何かは大東映画でないならば「それは比較し難くないしさらにそれは短波である」ということは誤りだ fact18: 仮に「比較し難くないかあるいは短波であるかもしくは両方な」ものがあるとするとあのシャイニングは大東映画だ fact19: もしも「「振るい始めるしまた観念しない」ということは本当でない」物があるならあのシャイニングは振るい始めない fact20: もしもその複合型が振るい始めるか観念するとしたらその小指側は上げ難くない fact21: 「そのマトラバスティは振るい始めるがしかし観念するということはない」ということは事実であるということはない fact22: この一千年後は破れるということはない fact23: もしもなにかは振るい始めないとすればそれは好ましいかまたは嫉妬深い
fact5 & fact18 -> int1: 「あのシャイニングは大東映画だ」ということは本当だ; int1 & fact10 -> int2: そのマトラバスティは嫉妬深い; int2 & fact15 -> int3: この一千年後は好ましい; int3 & fact1 -> int4: その複合型は振るい始める; int4 -> int5: その複合型は振るい始めるかまたはそれは観念する; int5 & fact20 -> 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$ = 
fact5 & fact18 -> int1: 「あのシャイニングは大東映画だ」ということは本当だ; int1 & fact10 -> int2: そのマトラバスティは嫉妬深い; int2 & fact15 -> int3: この一千年後は好ましい; int3 & fact1 -> int4: その複合型は振るい始める; int4 -> int5: その複合型は振るい始めるかまたはそれは観念する; int5 & fact20 -> 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. 事実5と事実18から、推論1: "「あのシャイニングは大東映画だ」ということは本当だ"が導かれる
2. 推論1と事実10から、推論2: "そのマトラバスティは嫉妬深い"が導かれる
3. 推論2と事実15から、推論3: "この一千年後は好ましい"が導かれる
4. 推論3と事実1から、推論4: "その複合型は振るい始める"が導かれる
5. 推論4から、推論5: "その複合型は振るい始めるかまたはそれは観念する"が導かれる
6. 推論5と事実20から、仮説が導かれる

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