あの針捨て容器は隆起するということはない
fact1: その異国人は掛かり易いし平たい fact2: とあるものは彼女らしいしかつそれは平たい fact3: この諸階級間はロマノフ王朝で更にそれは甘酸っぱい fact4: あの針捨て容器は敢う fact5: もしもこの諸階級間が良しとすれば公刊するしかつ彼女らしくない fact6: この諸階級間が隆起する一方で良しないとすればあの針捨て容器は隆起しない fact7: そのＥＩＮは公刊する fact8: 「播但線な」物はある fact9: 「あの針捨て容器は平たい」ということは確かである fact10: この諸階級間は遅刻しない fact11: もし仮に「敢うしさらに遅刻する」ものがあるならこの諸階級間は公刊する fact12: あの針捨て容器は彼女らしいししかも冗談っぽい fact13: 「遅刻するしその上良し」物はある fact14: この諸階級間は良し fact15: その宿道は遅刻する fact16: もしも「その相克関係は平たくないけど敢う」ということは成り立たないとするとこの諸階級間は平たくない fact17: そのＯＣＤは遅刻しない fact18: 「良しし敢う」物はある fact19: 「「良ししかつ彼女らしい」ものはある」ということは成り立つ fact20: その仕様は物らしい一方で隆起しない fact21: もしこの諸階級間は贋造であるとすれば公刊しない fact22: もしもこの諸階級間が遅刻しないとしたらそれは敢うしおまけに平たい fact23: 仮になんらかのものが公刊するしその上平たいとしたらあの針捨て容器は隆起する fact24: この諸階級間は隆起する
fact5 & fact14 -> int1: この諸階級間は公刊するがしかしそれは彼女らしくない; int1 -> int2: この諸階級間は公刊する; fact10 & fact22 -> int3: 「この諸階級間が敢うしその上平たい」ということは間違っていない; int3 -> int4: この諸階級間は平たい; int2 & int4 -> int5: この諸階級間は公刊するししかも平たい; int5 -> int6: とあるものは公刊するしそれにそれは平たい; int6 & fact23 -> 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: 仮になんらかのものが公刊するしその上平たいとしたらあの針捨て容器は隆起する fact24: この諸階級間は隆起する ; $hypothesis$ = あの針捨て容器は隆起するということはない ; $proof$ = 
fact5 & fact14 -> int1: この諸階級間は公刊するがしかしそれは彼女らしくない; int1 -> int2: この諸階級間は公刊する; fact10 & fact22 -> int3: 「この諸階級間が敢うしその上平たい」ということは間違っていない; int3 -> int4: この諸階級間は平たい; int2 & int4 -> int5: この諸階級間は公刊するししかも平たい; int5 -> int6: とあるものは公刊するしそれにそれは平たい; int6 & fact23 -> 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: 仮になんらかのものが公刊するしその上平たいとしたらあの針捨て容器は隆起する
事実24: この諸階級間は隆起する

仮説: あの針捨て容器は隆起するということはない
1. 事実5と事実14から、推論1: "この諸階級間は公刊するがしかしそれは彼女らしくない"が導かれる
2. 推論1から、推論2: "この諸階級間は公刊する"が導かれる
3. 事実10と事実22から、推論3: "「この諸階級間が敢うしその上平たい」ということは間違っていない"が導かれる
4. 推論3から、推論4: "この諸階級間は平たい"が導かれる
5. 推論2と推論4から、推論5: "この諸階級間は公刊するししかも平たい"が導かれる
6. 推論5から、推論6: "とあるものは公刊するしそれにそれは平たい"が導かれる
7. 推論6と事実23から、仮説が否定される

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