あの環は馴染み難い
fact1: 仮にその大スターが輝かしということはないとするとあの環は馴染み難いし買い易い fact2: 「あの身上書は出現し易いし加えてそれは慕わしい」ということは誤っている fact3: もしもこの無電池電話は行い易くないとしたら「あの事業は必要しないしまた座らさない」ということは事実と異なる fact4: 「仮にその膝蓋は必要しないとすれば「その大スターは輝かしが涙ぐむということはない」ということは誤っている」ということは確かだ fact5: 買い易くない物は山深くてかつ座らす fact6: もし仮にあの身上書が買い易くないとするとパートナー達である fact7: 仮に「あの身上書は出現し易くて加えて慕わしい」ということは偽だとしたらそれは買い易くない fact8: 「あの身上書はパートナー達である」ということは本当だ fact9: あの身上書は涙ぐむ fact10: 「その大スターは出現し易いということはないかあるいはそれは行い易いかまたは両方ともである」ということは成り立たないとしたらあの身上書は涙ぐまない fact11: 仮にその大スターが必要するならその膝蓋は座らさない fact12: もし仮にとある物は涙ぐめばそれは必要する fact13: 「仮に「あの事業は必要しないしその上座らさない」ということは事実でないならその膝蓋は必要するということはない」ということは正しい fact14: もしその大スターは必要すれば「その膝蓋は行い易くないかあるいはそれは座らすかあるいは両方ともである」ということは成り立たない fact15: もしもなんらかのものが買い易くないならばパートナー達だ fact16: 仮になんらかのものが輝かしとするとそれは涙ぐむ fact17: その膝蓋は座らさない fact18: もし仮に「あの身上書は交通インフラである」ということは成り立てばその大スターは輝かし fact19: もし「その膝蓋は行い易くないか座らすかどちらもだ」ということは事実と異なるとするとあの環は馴染み難くない fact20: 「その大スターが交通インフラだしそれは必要する」ということは偽である fact21: もしあの身上書は慕わしくないとすると「買い易いということはない」ということは成り立つ fact22: あの身上書は座らす fact23: 買い易くないものは交通インフラであるしさらにパートナー達である
fact23 -> int1: もしあの身上書が買い易くないなら交通インフラでパートナー達である; fact7 & fact2 -> int2: あの身上書は買い易くない; int1 & int2 -> int3: あの身上書が交通インフラだしまたパートナー達だ; int3 -> int4: 「あの身上書は交通インフラである」ということは事実である; int4 & fact18 -> int5: その大スターは輝かし; fact16 -> int6: その大スターは輝かしとすると「涙ぐむ」ということは事実と異ならない; int5 & int6 -> int7: その大スターは涙ぐむ; fact12 -> int8: 仮にその大スターは涙ぐむとすると「それは必要する」ということは成り立つ; int7 & int8 -> int9: その大スターは必要する; int9 & fact14 -> int10: 「その膝蓋は行い易くないかもしくはそれは座らすかどちらもだ」ということは誤りである; int10 & fact19 -> hypothesis;
あの小山元参議院議員は山深くて座らす
fact24 -> int11: もしもあの小山元参議院議員が買い易くないなら山深くておまけに座らす;
$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$ = 
fact23 -> int1: もしあの身上書が買い易くないなら交通インフラでパートナー達である; fact7 & fact2 -> int2: あの身上書は買い易くない; int1 & int2 -> int3: あの身上書が交通インフラだしまたパートナー達だ; int3 -> int4: 「あの身上書は交通インフラである」ということは事実である; int4 & fact18 -> int5: その大スターは輝かし; fact16 -> int6: その大スターは輝かしとすると「涙ぐむ」ということは事実と異ならない; int5 & int6 -> int7: その大スターは涙ぐむ; fact12 -> int8: 仮にその大スターは涙ぐむとすると「それは必要する」ということは成り立つ; int7 & int8 -> int9: その大スターは必要する; int9 & fact14 -> int10: 「その膝蓋は行い易くないかもしくはそれは座らすかどちらもだ」ということは誤りである; int10 & fact19 -> hypothesis; __DISPROVED__
事実1: 仮にその大スターが輝かしということはないとするとあの環は馴染み難いし買い易い
事実2: 「あの身上書は出現し易いし加えてそれは慕わしい」ということは誤っている
事実3: もしもこの無電池電話は行い易くないとしたら「あの事業は必要しないしまた座らさない」ということは事実と異なる
事実4: 「仮にその膝蓋は必要しないとすれば「その大スターは輝かしが涙ぐむということはない」ということは誤っている」ということは確かだ
事実5: 買い易くない物は山深くてかつ座らす
事実6: もし仮にあの身上書が買い易くないとするとパートナー達である
事実7: 仮に「あの身上書は出現し易くて加えて慕わしい」ということは偽だとしたらそれは買い易くない
事実8: 「あの身上書はパートナー達である」ということは本当だ
事実9: あの身上書は涙ぐむ
事実10: 「その大スターは出現し易いということはないかあるいはそれは行い易いかまたは両方ともである」ということは成り立たないとしたらあの身上書は涙ぐまない
事実11: 仮にその大スターが必要するならその膝蓋は座らさない
事実12: もし仮にとある物は涙ぐめばそれは必要する
事実13: 「仮に「あの事業は必要しないしその上座らさない」ということは事実でないならその膝蓋は必要するということはない」ということは正しい
事実14: もしその大スターは必要すれば「その膝蓋は行い易くないかあるいはそれは座らすかあるいは両方ともである」ということは成り立たない
事実15: もしもなんらかのものが買い易くないならばパートナー達だ
事実16: 仮になんらかのものが輝かしとするとそれは涙ぐむ
事実17: その膝蓋は座らさない
事実18: もし仮に「あの身上書は交通インフラである」ということは成り立てばその大スターは輝かし
事実19: もし「その膝蓋は行い易くないか座らすかどちらもだ」ということは事実と異なるとするとあの環は馴染み難くない
事実20: 「その大スターが交通インフラだしそれは必要する」ということは偽である
事実21: もしあの身上書は慕わしくないとすると「買い易いということはない」ということは成り立つ
事実22: あの身上書は座らす
事実23: 買い易くないものは交通インフラであるしさらにパートナー達である

仮説: あの環は馴染み難い
1. 事実23から、推論1: "もしあの身上書が買い易くないなら交通インフラでパートナー達である"が導かれる
2. 事実7と事実2から、推論2: "あの身上書は買い易くない"が導かれる
3. 推論1と推論2から、推論3: "あの身上書が交通インフラだしまたパートナー達だ"が導かれる
4. 推論3から、推論4: "「あの身上書は交通インフラである」ということは事実である"が導かれる
5. 推論4と事実18から、推論5: "その大スターは輝かし"が導かれる
6. 事実16から、推論6: "その大スターは輝かしとすると「涙ぐむ」ということは事実と異ならない"が導かれる
7. 推論5と推論6から、推論7: "その大スターは涙ぐむ"が導かれる
8. 事実12から、推論8: "仮にその大スターは涙ぐむとすると「それは必要する」ということは成り立つ"が導かれる
9. 推論7と推論8から、推論9: "その大スターは必要する"が導かれる
10. 推論9と事実14から、推論10: "「その膝蓋は行い易くないかもしくはそれは座らすかどちらもだ」ということは誤りである"が導かれる
11. 推論10と事実19から、仮説が否定される

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