「この鷲座はピンはねするしかつそれは悲しがる」ということは本当でない
fact1: もしこの鷲座は従属物でないならば円柱状である fact2: 「もし仮に「何らかのものは心細くてかつ鶏小屋である」ということは事実と異なるとしたらそれは判断し難くない」ということは確かだ fact3: 心細くないものは判断し難くない fact4: もしもこの鷲座はピンはねしなくておまけに判断し難いということはないなら邪推でない fact5: もし仮にとあるものは悲しくないとすれば「従属物であるしそれに堪忍である」ということは成り立たない fact6: もし仮になんらかの物は来談しないとすれば「晴れがましいしかつ悲しい」ということは誤っている fact7: もしもこの鷲座は円柱状であるならばそれは悲しがる fact8: 「この鷲座が従属物だけど堪忍でない」ということは偽である fact9: もしも「何らかのものは晴れがましいしその上悲しい」ということは事実と異なれば悲しくない fact10: もし仮に「この観察視点は悲しい」ということは成り立つとしたら堪忍だ fact11: 仮にこの豪邸が堪忍でないとしたらあの乱数は堪忍である fact12: もし仮に「その大家は従属物で更に堪忍である」ということは間違いであるとすると「この豪邸は堪忍でない」ということは真実だ fact13: すべてのものは従属物であるかまたは悲しいかあるいはどちらもだ fact14: この鷲座は邪推である fact15: もし仮にあるものはＰＡＨでないとするとそれは来談しない fact16: あの乱数が円柱状でないとするとこの観察視点は判断し難いしその上邪推である fact17: もし仮になにかは堪忍であるならばそれは円柱状でない fact18: 心細くてまた鶏小屋であるというものはない fact19: 「「この鷲座は従属物であるがそれは堪忍でない」ということは嘘である」ということは真実であるとすればそれは円柱状だ fact20: もしもこの観察視点が堪忍であるとするとその増幅度は悲しがらないがしかしそれは円柱状である fact21: 何かは悲しがらないとすれば「それはピンはねするということはなくて邪推でない」ということは成り立たない fact22: この時間値は愛情深いなら「それは鶏小屋だ」ということは事実だ fact23: もし仮にこの鷲座が心細くないとするとそれは判断し難くない
fact18 -> int1: 「この鷲座は心細くて鶏小屋だ」ということは成り立たない; fact2 -> int2: もしも「この鷲座は心細いしかつ鶏小屋である」ということは偽だとしたらそれは判断し難くない; int1 & int2 -> int3: この鷲座は判断し難くない; void -> assump1: 以下のように仮定する。この鷲座はピンはねしない; int3 & assump1 -> int4: この鷲座はピンはねしなくてそれに判断し難いということはない; int4 & fact4 -> int5: この鷲座は邪推でない; int5 & fact14 -> int6: これは矛盾である; [assump1] & int6 -> int7: この鷲座はピンはねする; fact19 & fact8 -> int8: この鷲座は円柱状だ; int8 & fact7 -> int9: この鷲座は悲しがる; int7 & int9 -> hypothesis;
「この鷲座はピンはねするしかつそれは悲しがる」ということは事実と異なる
fact31 -> int10: もしあの乱数は堪忍であるならば円柱状でない; fact30 -> int11: 仮にその大家は悲しくないとしたら「従属物で堪忍だ」ということは成り立つということはない; fact24 -> int12: 「その大家は晴れがましいしおまけに悲しい」ということは成り立たないとしたら悲しくない; fact28 -> int13: その大家は来談するということはないとしたら「晴れがましいし更にそれは悲しい」ということは成り立たない; fact26 -> int14: 仮にその大家はＰＡＨでないとするとそれは来談しない;
$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$ = 
fact18 -> int1: 「この鷲座は心細くて鶏小屋だ」ということは成り立たない; fact2 -> int2: もしも「この鷲座は心細いしかつ鶏小屋である」ということは偽だとしたらそれは判断し難くない; int1 & int2 -> int3: この鷲座は判断し難くない; void -> assump1: 以下のように仮定する。この鷲座はピンはねしない; int3 & assump1 -> int4: この鷲座はピンはねしなくてそれに判断し難いということはない; int4 & fact4 -> int5: この鷲座は邪推でない; int5 & fact14 -> int6: これは矛盾である; [assump1] & int6 -> int7: この鷲座はピンはねする; fact19 & fact8 -> int8: この鷲座は円柱状だ; int8 & fact7 -> int9: この鷲座は悲しがる; int7 & int9 -> 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. 事実18から、推論1: "「この鷲座は心細くて鶏小屋だ」ということは成り立たない"が導かれる
2. 事実2から、推論2: "もしも「この鷲座は心細いしかつ鶏小屋である」ということは偽だとしたらそれは判断し難くない"が導かれる
3. 推論1と推論2から、推論3: "この鷲座は判断し難くない"が導かれる
4. 仮定1: 以下のように仮定する。この鷲座はピンはねしない
5. 推論3と仮定1から、推論4: "この鷲座はピンはねしなくてそれに判断し難いということはない"が導かれる
6. 推論4と事実4から、推論5: "この鷲座は邪推でない"が導かれる
7. 推論5と事実14から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この鷲座はピンはねする"が導かれる
9. 事実19と事実8から、推論8: "この鷲座は円柱状だ"が導かれる
10. 推論8と事実7から、推論9: "この鷲座は悲しがる"が導かれる
11. 推論7と推論9から、仮説が否定される

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