「なにかは亡くすしかつ小高い」ということは事実と異なる
fact1: あの財政学は分け入らない fact2: もし仮になんらかの物はバブル景気であるかもしくは過ごし易いということはないかあるいは両方ともであるならそれは亡くす fact3: なんらかの物は小高い fact4: その海草類は改良するしその上小高い fact5: あの財政学はバブル景気であるかもしくは過ごし易いか両方ともである fact6: その海草類は改良する fact7: あの財政学は奈落だということはない fact8: その安全装備はバブル景気だ fact9: その海草類は自作出来るとすれば「それは小高くないし加えて慈愛深くない」ということは事実でない fact10: もしあの財政学は奈落でないならバブル景気であるかあるいは過ごし易くないかあるいは両方ともだ fact11: 仮に「その海草類は小高くなくて慈愛深くない」ということは嘘であるならばあの家無しは小高い fact12: もし仮にあのＭＥＮＵが改良するとしたらこの東京―大宮間は亡くさないしおまけに奈落であるということはない fact13: 全てはファイル検索でそれは自作出来る fact14: もしあの財政学が過ごし易いということはないとすればそれは亡くす fact15: どれもこれもは改良するし中骨だ fact16: もしもなにかは過ごし易くないとすると亡くす fact17: 「亡くさないしおまけに奈落でない」物があるとするとあの家無しは変換出来る fact18: 小高いものは心深し fact19: もし「その海草類は小高い」ということは誤っていないならばあの財政学は小高い fact20: 「「亡くす」ということは確かな」物はある fact21: その海草類はバブル景気でない fact22: あの財政学が奈落でないとしたらそれはバブル景気であるかまたはそれは過ごし易いかまたは両方ともだ
fact2 -> int1: もしあの財政学がバブル景気であるかもしくはそれが過ごし易くないとすればそれは亡くす; fact10 & fact7 -> int2: あの財政学はバブル景気であるか過ごし易くないか両方である; int1 & int2 -> int3: あの財政学は亡くす; fact4 -> int4: その海草類は小高い; fact19 & int4 -> int5: あの財政学は小高い; int3 & int5 -> int6: あの財政学は亡くすし更に小高い; int6 -> hypothesis;
あの家無しは変換出来るし心深し
fact25 -> int7: あのＭＥＮＵは改良するし更にそれは中骨である; int7 -> int8: 「あのＭＥＮＵは改良する」ということは成り立つ; fact24 & int8 -> int9: この東京―大宮間は亡くさないし加えて奈落でない; int9 -> int10: 「亡くさないし更に奈落でない」ものはある; int10 & fact27 -> int11: あの家無しは変換出来る; fact23 -> int12: もし仮にあの家無しが小高いとすれば心深し; fact28 -> int13: その海草類はファイル検索で加えてそれは自作出来る; int13 -> int14: その海草類は自作出来る; fact29 & int14 -> int15: 「その海草類は小高くないしおまけに慈愛深くない」ということは間違いだ; fact26 & int15 -> int16: あの家無しは小高い; int12 & int16 -> int17: あの家無しは心深し; int11 & int17 -> hypothesis;
$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$ = 
fact2 -> int1: もしあの財政学がバブル景気であるかもしくはそれが過ごし易くないとすればそれは亡くす; fact10 & fact7 -> int2: あの財政学はバブル景気であるか過ごし易くないか両方である; int1 & int2 -> int3: あの財政学は亡くす; fact4 -> int4: その海草類は小高い; fact19 & int4 -> int5: あの財政学は小高い; int3 & int5 -> int6: あの財政学は亡くすし更に小高い; int6 -> hypothesis; __DISPROVED__
事実1: あの財政学は分け入らない
事実2: もし仮になんらかの物はバブル景気であるかもしくは過ごし易いということはないかあるいは両方ともであるならそれは亡くす
事実3: なんらかの物は小高い
事実4: その海草類は改良するしその上小高い
事実5: あの財政学はバブル景気であるかもしくは過ごし易いか両方ともである
事実6: その海草類は改良する
事実7: あの財政学は奈落だということはない
事実8: その安全装備はバブル景気だ
事実9: その海草類は自作出来るとすれば「それは小高くないし加えて慈愛深くない」ということは事実でない
事実10: もしあの財政学は奈落でないならバブル景気であるかあるいは過ごし易くないかあるいは両方ともだ
事実11: 仮に「その海草類は小高くなくて慈愛深くない」ということは嘘であるならばあの家無しは小高い
事実12: もし仮にあのＭＥＮＵが改良するとしたらこの東京―大宮間は亡くさないしおまけに奈落であるということはない
事実13: 全てはファイル検索でそれは自作出来る
事実14: もしあの財政学が過ごし易いということはないとすればそれは亡くす
事実15: どれもこれもは改良するし中骨だ
事実16: もしもなにかは過ごし易くないとすると亡くす
事実17: 「亡くさないしおまけに奈落でない」物があるとするとあの家無しは変換出来る
事実18: 小高いものは心深し
事実19: もし「その海草類は小高い」ということは誤っていないならばあの財政学は小高い
事実20: 「「亡くす」ということは確かな」物はある
事実21: その海草類はバブル景気でない
事実22: あの財政学が奈落でないとしたらそれはバブル景気であるかまたはそれは過ごし易いかまたは両方ともだ

仮説: 「なにかは亡くすしかつ小高い」ということは事実と異なる
1. 事実2から、推論1: "もしあの財政学がバブル景気であるかもしくはそれが過ごし易くないとすればそれは亡くす"が導かれる
2. 事実10と事実7から、推論2: "あの財政学はバブル景気であるか過ごし易くないか両方である"が導かれる
3. 推論1と推論2から、推論3: "あの財政学は亡くす"が導かれる
4. 事実4から、推論4: "その海草類は小高い"が導かれる
5. 事実19と推論4から、推論5: "あの財政学は小高い"が導かれる
6. 推論3と推論5から、推論6: "あの財政学は亡くすし更に小高い"が導かれる
7. 推論6から、仮説が否定される

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