この第一人称は冷や御飯でない
fact1: 「「この第一人称は冷や御飯でないしまたそれは展示しない」ということは真実でない」ということは正しい fact2: もしも麗しない物は心底でないならば嘲らない fact3: 「その計上額は履修しないしかつ展示しない」ということは成り立たない fact4: 仮に「その計上額は履修する」ということは成り立つとするとこの鉄道会社は展示する fact5: 仮に「この鉄道会社は預け合わないし冷や御飯でない」ということは間違っているとすればあの第一人称は履修する fact6: もし「なんらかの物は複合する一方でそれは見難くない」ということは誤りであるとすると斎かない fact7: もしその計上額が展示しないし更に預け合わないとすると入浴後でない fact8: 「その計上額は展示するけれどそれは預け合うということはない」ということは間違っている fact9: この鉄道会社は預け合う fact10: 仮にその計上額は展示しないけど預け合うとしたらそれは入浴後だということはない fact11: もしもこの鉄道会社が履修するならその計上額は入浴後だ fact12: 「その計上額は展示しないがそれは預け合う」ということは間違いだ fact13: この第一人称は預け合う fact14: なんらかの物は見難い fact15: もしこの第一人称は入浴後でなくておまけに展示しないとすればそれは冷や御飯でない fact16: もし仮に「その計上額は預け合わなくてかつ履修するということはない」ということは間違いならこの鉄道会社は入浴後である fact17: もし「その計上額は展示しないし更に預け合わない」ということは間違いであるならこの第一人称は冷や御飯である fact18: その永久磁石は履修する fact19: もしもとある物が嘲らないとしたらそれは入浴後であるし履修する fact20: この鉄道会社は履修する fact21: もしもその計上額は斎かないとしたらそれは生理的変化だしその上結晶する fact22: その計上額が展示するがしかし預け合わないなら入浴後でない fact23: 生理的変化は麗しないしさらに心底でない fact24: もしもその計上額が入浴後であるしまた履修するとすればこの第一人称は冷や御飯でない
void -> assump1: 以下のように仮定する。その計上額は展示しないししかも預け合わない; fact7 & assump1 -> int1: その計上額は入浴後でない; fact11 & fact20 -> int2: その計上額は入浴後である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その計上額は展示しないし預け合わない」ということは本当でない; int4 & fact17 -> hypothesis;
この第一人称は冷や御飯でない
fact31 -> int5: もしもその計上額が嘲るということはないならば入浴後であるししかも履修する; fact25 -> int6: 仮にその計上額が麗しということはなくてしかもそれは心底でないならばそれは嘲らない; fact29 -> int7: もしもその計上額が生理的変化であるとするとそれは麗しないしその上心底でない; fact30 -> int8: もし「「その計上額は複合するが見難くない」ということは誤っている」ということは真実であるとすれば斎かない;
$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$ = 
void -> assump1: 以下のように仮定する。その計上額は展示しないししかも預け合わない; fact7 & assump1 -> int1: その計上額は入浴後でない; fact11 & fact20 -> int2: その計上額は入浴後である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その計上額は展示しないし預け合わない」ということは本当でない; int4 & fact17 -> 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. 仮定1: 以下のように仮定する。その計上額は展示しないししかも預け合わない
2. 事実7と仮定1から、推論1: "その計上額は入浴後でない"が導かれる
3. 事実11と事実20から、推論2: "その計上額は入浴後である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その計上額は展示しないし預け合わない」ということは本当でない"が導かれる
6. 推論4と事実17から、仮説が否定される

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