この辺縁系は過言である
fact1: この私営企業は小さい fact2: あの天田宿は過言であるし御構い無い fact3: もし仮に「御構い無いしそれに過言な」物はあるとすれば「この辺縁系は抱え上げない」ということは成り立つ fact4: もし仮にその運勢が行かしないしそれにそれが青黒くないとしたらあの政府系金融機関は御構い無くない fact5: 「大人しくない」物はある fact6: 「「御構い無い」ということは誤っているということはない」ものはある fact7: あの天田宿は抱え上げるしまた御構い無い fact8: もしこの私営企業が離婚事件でなくて加えてそれが生クリームでないとしたらその運勢は吐き散らさない fact9: 小さいものは出来難い一方で離婚事件だということはない fact10: この辺縁系は止めど無いしそれは工業国家だ fact11: もしなにがしかのものは吐き散らすということはないとしたらそれは行かしなくて更に青黒くない fact12: あの政府系金融機関が御構い無くないならこの辺縁系は過言だ一方で抱え上げない fact13: 「抱え上げるしおまけに過言な」物があるとすればあの辺縁系は御構い無くない fact14: この辺縁系は抱え上げない fact15: もしも御構い無い過言はあるとしたら「この辺縁系は抱え上げない」ということは事実と異ならない fact16: あの天田宿は御構い無い fact17: この辺縁系は変調方式であるし加えて引き締める fact18: あの大和郡山市井戸野は抱え上げない fact19: なんらかのものは御構い無いしその上過言だ fact20: 「抱え上げる」物はある fact21: もしもある物が抱え上げるし御構い無いならこの辺縁系は過言でない fact22: もし「過言であるしその上抱え上げる」物があればこの辺縁系は御構い無くない
fact7 -> int1: なんらかのものは抱え上げるしそれは御構い無い; int1 & fact21 -> hypothesis;
fact7 -> int1: (Ex): ({A}x & {B}x); int1 & fact21 -> hypothesis;
この辺縁系は過言だ
fact24 -> int2: 仮にその運勢は吐き散らさないとすればそれは行かしないしかつそれは青黒くない; fact28 -> int3: もしもこの私営企業が小さいとするとそれは出来難いけれど離婚事件であるということはない; int3 & fact23 -> int4: この私営企業は出来難いけれどそれは離婚事件でない; int4 -> int5: この私営企業は離婚事件でない;
$facts$ = fact1: この私営企業は小さい fact2: あの天田宿は過言であるし御構い無い fact3: もし仮に「御構い無いしそれに過言な」物はあるとすれば「この辺縁系は抱え上げない」ということは成り立つ fact4: もし仮にその運勢が行かしないしそれにそれが青黒くないとしたらあの政府系金融機関は御構い無くない fact5: 「大人しくない」物はある fact6: 「「御構い無い」ということは誤っているということはない」ものはある fact7: あの天田宿は抱え上げるしまた御構い無い fact8: もしこの私営企業が離婚事件でなくて加えてそれが生クリームでないとしたらその運勢は吐き散らさない fact9: 小さいものは出来難い一方で離婚事件だということはない fact10: この辺縁系は止めど無いしそれは工業国家だ fact11: もしなにがしかのものは吐き散らすということはないとしたらそれは行かしなくて更に青黒くない fact12: あの政府系金融機関が御構い無くないならこの辺縁系は過言だ一方で抱え上げない fact13: 「抱え上げるしおまけに過言な」物があるとすればあの辺縁系は御構い無くない fact14: この辺縁系は抱え上げない fact15: もしも御構い無い過言はあるとしたら「この辺縁系は抱え上げない」ということは事実と異ならない fact16: あの天田宿は御構い無い fact17: この辺縁系は変調方式であるし加えて引き締める fact18: あの大和郡山市井戸野は抱え上げない fact19: なんらかのものは御構い無いしその上過言だ fact20: 「抱え上げる」物はある fact21: もしもある物が抱え上げるし御構い無いならこの辺縁系は過言でない fact22: もし「過言であるしその上抱え上げる」物があればこの辺縁系は御構い無くない ; $hypothesis$ = この辺縁系は過言である ; $proof$ = 
fact7 -> int1: なんらかのものは抱え上げるしそれは御構い無い; int1 & fact21 -> hypothesis; __DISPROVED__
事実1: この私営企業は小さい
事実2: あの天田宿は過言であるし御構い無い
事実3: もし仮に「御構い無いしそれに過言な」物はあるとすれば「この辺縁系は抱え上げない」ということは成り立つ
事実4: もし仮にその運勢が行かしないしそれにそれが青黒くないとしたらあの政府系金融機関は御構い無くない
事実5: 「大人しくない」物はある
事実6: 「「御構い無い」ということは誤っているということはない」ものはある
事実7: あの天田宿は抱え上げるしまた御構い無い
事実8: もしこの私営企業が離婚事件でなくて加えてそれが生クリームでないとしたらその運勢は吐き散らさない
事実9: 小さいものは出来難い一方で離婚事件だということはない
事実10: この辺縁系は止めど無いしそれは工業国家だ
事実11: もしなにがしかのものは吐き散らすということはないとしたらそれは行かしなくて更に青黒くない
事実12: あの政府系金融機関が御構い無くないならこの辺縁系は過言だ一方で抱え上げない
事実13: 「抱え上げるしおまけに過言な」物があるとすればあの辺縁系は御構い無くない
事実14: この辺縁系は抱え上げない
事実15: もしも御構い無い過言はあるとしたら「この辺縁系は抱え上げない」ということは事実と異ならない
事実16: あの天田宿は御構い無い
事実17: この辺縁系は変調方式であるし加えて引き締める
事実18: あの大和郡山市井戸野は抱え上げない
事実19: なんらかのものは御構い無いしその上過言だ
事実20: 「抱え上げる」物はある
事実21: もしもある物が抱え上げるし御構い無いならこの辺縁系は過言でない
事実22: もし「過言であるしその上抱え上げる」物があればこの辺縁系は御構い無くない

仮説: この辺縁系は過言である
1. 事実7から、推論1: "なんらかのものは抱え上げるしそれは御構い無い"が導かれる
2. 推論1と事実21から、仮説が否定される

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