この住宅供給は愛しい
fact1: 仮にこの住宅供給は春蒔きなら「それが天使らしいしその上それはマッチングする」ということは成り立たない fact2: もし仮にあるものが放置するとすると侍るということはない fact3: 「この住宅供給は天使らしいししかもマッチングする」ということは事実と異なる fact4: もし「何かは仮納付する一方で撫でない」ということは成り立たないとしたらそれはしどけなくない fact5: もしもなにかは危篤状態でないとしたら春蒔きだ fact6: もしもこの宣伝は二．零以上であるならそれは違くない fact7: それは侍るということはないししかもそれは危篤状態であるというものはない fact8: この住宅供給は物慣れない fact9: それは取り出し易くないけど利害であるというものはない fact10: 仮に「とあるものは天使らしいけどマッチングするということはない」ということは真実でないとしたらそれは愛しくない fact11: もしもその真田素っ破が放置しないとするとこの住宅供給は愛しいけれど判断し難くない fact12: 仮にあるものはマッチングするなら「それは愛しくない」ということは事実と異ならない fact13: あの取捨は春蒔きだ fact14: 仮になにがしかのものは春蒔きなら「天使らしいけどマッチングしない」ということは成り立たない fact15: 「判断し難いということはない」物はある fact16: もしも「判断し難いということはない」ものがあるならばあの住宅供給は放置する fact17: もし仮にある物は春蒔きであるなら「それは天使らしいしかつマッチングする」ということは成り立たない fact18: もしもこの住宅供給がマッチングするとしたら愛しくない fact19: なにかは説き起こさない fact20: 「判断し難い」ものはある fact21: 「手厳しくないが超大国であるという物はない」ということは真実である
fact15 & fact16 -> int1: 「この住宅供給は放置する」ということは真実だ; fact2 -> int2: もしもこの住宅供給が放置するとすると侍らない; int1 & int2 -> int3: この住宅供給は侍らない; void -> assump1: 以下のように仮定する。この住宅供給は危篤状態である; int3 & assump1 -> int4: この住宅供給は侍らないけど危篤状態だ; fact7 -> int5: 「この住宅供給は侍らないけどそれは危篤状態だ」ということは成り立たない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この住宅供給は危篤状態であるということはない; fact5 -> int8: もしもこの住宅供給は危篤状態でないならばそれは春蒔きだ; int7 & int8 -> int9: この住宅供給は春蒔きである; fact14 -> int10: この住宅供給は春蒔きであるとしたら「それは天使らしい一方でマッチングしない」ということは誤りである; int9 & int10 -> int11: 「この住宅供給は天使らしいがしかしマッチングするということはない」ということは成り立つということはない; fact10 -> int12: もし「「この住宅供給は天使らしいがしかしそれはマッチングしない」ということは成り立たない」ということは成り立つとしたら愛しくない; int11 & int12 -> hypothesis;
この住宅供給は愛しい
$facts$ = fact1: 仮にこの住宅供給は春蒔きなら「それが天使らしいしその上それはマッチングする」ということは成り立たない fact2: もし仮にあるものが放置するとすると侍るということはない fact3: 「この住宅供給は天使らしいししかもマッチングする」ということは事実と異なる fact4: もし「何かは仮納付する一方で撫でない」ということは成り立たないとしたらそれはしどけなくない fact5: もしもなにかは危篤状態でないとしたら春蒔きだ fact6: もしもこの宣伝は二．零以上であるならそれは違くない fact7: それは侍るということはないししかもそれは危篤状態であるというものはない fact8: この住宅供給は物慣れない fact9: それは取り出し易くないけど利害であるというものはない fact10: 仮に「とあるものは天使らしいけどマッチングするということはない」ということは真実でないとしたらそれは愛しくない fact11: もしもその真田素っ破が放置しないとするとこの住宅供給は愛しいけれど判断し難くない fact12: 仮にあるものはマッチングするなら「それは愛しくない」ということは事実と異ならない fact13: あの取捨は春蒔きだ fact14: 仮になにがしかのものは春蒔きなら「天使らしいけどマッチングしない」ということは成り立たない fact15: 「判断し難いということはない」物はある fact16: もしも「判断し難いということはない」ものがあるならばあの住宅供給は放置する fact17: もし仮にある物は春蒔きであるなら「それは天使らしいしかつマッチングする」ということは成り立たない fact18: もしもこの住宅供給がマッチングするとしたら愛しくない fact19: なにかは説き起こさない fact20: 「判断し難い」ものはある fact21: 「手厳しくないが超大国であるという物はない」ということは真実である ; $hypothesis$ = この住宅供給は愛しい ; $proof$ = 
fact15 & fact16 -> int1: 「この住宅供給は放置する」ということは真実だ; fact2 -> int2: もしもこの住宅供給が放置するとすると侍らない; int1 & int2 -> int3: この住宅供給は侍らない; void -> assump1: 以下のように仮定する。この住宅供給は危篤状態である; int3 & assump1 -> int4: この住宅供給は侍らないけど危篤状態だ; fact7 -> int5: 「この住宅供給は侍らないけどそれは危篤状態だ」ということは成り立たない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この住宅供給は危篤状態であるということはない; fact5 -> int8: もしもこの住宅供給は危篤状態でないならばそれは春蒔きだ; int7 & int8 -> int9: この住宅供給は春蒔きである; fact14 -> int10: この住宅供給は春蒔きであるとしたら「それは天使らしい一方でマッチングしない」ということは誤りである; int9 & int10 -> int11: 「この住宅供給は天使らしいがしかしマッチングするということはない」ということは成り立つということはない; fact10 -> int12: もし「「この住宅供給は天使らしいがしかしそれはマッチングしない」ということは成り立たない」ということは成り立つとしたら愛しくない; int11 & int12 -> hypothesis; __DISPROVED__
事実1: 仮にこの住宅供給は春蒔きなら「それが天使らしいしその上それはマッチングする」ということは成り立たない
事実2: もし仮にあるものが放置するとすると侍るということはない
事実3: 「この住宅供給は天使らしいししかもマッチングする」ということは事実と異なる
事実4: もし「何かは仮納付する一方で撫でない」ということは成り立たないとしたらそれはしどけなくない
事実5: もしもなにかは危篤状態でないとしたら春蒔きだ
事実6: もしもこの宣伝は二．零以上であるならそれは違くない
事実7: それは侍るということはないししかもそれは危篤状態であるというものはない
事実8: この住宅供給は物慣れない
事実9: それは取り出し易くないけど利害であるというものはない
事実10: 仮に「とあるものは天使らしいけどマッチングするということはない」ということは真実でないとしたらそれは愛しくない
事実11: もしもその真田素っ破が放置しないとするとこの住宅供給は愛しいけれど判断し難くない
事実12: 仮にあるものはマッチングするなら「それは愛しくない」ということは事実と異ならない
事実13: あの取捨は春蒔きだ
事実14: 仮になにがしかのものは春蒔きなら「天使らしいけどマッチングしない」ということは成り立たない
事実15: 「判断し難いということはない」物はある
事実16: もしも「判断し難いということはない」ものがあるならばあの住宅供給は放置する
事実17: もし仮にある物は春蒔きであるなら「それは天使らしいしかつマッチングする」ということは成り立たない
事実18: もしもこの住宅供給がマッチングするとしたら愛しくない
事実19: なにかは説き起こさない
事実20: 「判断し難い」ものはある
事実21: 「手厳しくないが超大国であるという物はない」ということは真実である

仮説: この住宅供給は愛しい
1. 事実15と事実16から、推論1: "「この住宅供給は放置する」ということは真実だ"が導かれる
2. 事実2から、推論2: "もしもこの住宅供給が放置するとすると侍らない"が導かれる
3. 推論1と推論2から、推論3: "この住宅供給は侍らない"が導かれる
4. 仮定1: 以下のように仮定する。この住宅供給は危篤状態である
5. 推論3と仮定1から、推論4: "この住宅供給は侍らないけど危篤状態だ"が導かれる
6. 事実7から、推論5: "「この住宅供給は侍らないけどそれは危篤状態だ」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この住宅供給は危篤状態であるということはない"が導かれる
9. 事実5から、推論8: "もしもこの住宅供給は危篤状態でないならばそれは春蒔きだ"が導かれる
10. 推論7と推論8から、推論9: "この住宅供給は春蒔きである"が導かれる
11. 事実14から、推論10: "この住宅供給は春蒔きであるとしたら「それは天使らしい一方でマッチングしない」ということは誤りである"が導かれる
12. 推論9と推論10から、推論11: "「この住宅供給は天使らしいがしかしマッチングするということはない」ということは成り立つということはない"が導かれる
13. 事実10から、推論12: "もし「「この住宅供給は天使らしいがしかしそれはマッチングしない」ということは成り立たない」ということは成り立つとしたら愛しくない"が導かれる
14. 推論11と推論12から、仮説が否定される

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