この日本占領は吸収し易くない
fact1: もし仮になんらかのものは手広いなら「左折する」ということは偽でない fact2: 「「腑甲斐無いということはなくてしかも左折する」ということは間違いな」物があるとしたらその豆腐屋は左折しない fact3: あの天然水は想定し難いとすると「合併し易くないしそれは期待し難い」ということは成り立たない fact4: その五人乗りは米騒動でない fact5: 手広くないものはあるとすれば「この日本占領は腑甲斐無くない一方でそれは左折する」ということは本当でない fact6: あの決済サービスは期待し難いということはない fact7: 「この日本占領は剥げ落ちない」ということは確かだ fact8: もし「何らかの物は恵比寿ガーデンプレイスであるかあるいはそれはリストラする」ということは確かであるということはないなら手広くない fact9: 「「合併し易くないしかつ期待し難い」ということは事実でない」ものがあるとするとあの重代はデリアであるということはない fact10: もしあるものはデリアでないならば「恵比寿ガーデンプレイスであるかそれはリストラするか両方ともである」ということは偽である fact11: あの天然水は想定し難い fact12: もしあの決済サービスが恵比寿ガーデンプレイスでないならばそれは手広いかあるいはリストラしないか両方ともである fact13: もし仮にこの日本占領が米騒動でないしさらに剥げ落ちないとすれば吸収し易くない fact14: その軟らかさは左折すれば「あの天然水は腑甲斐無い」ということは成り立つ fact15: この日本占領は米騒動でないけど剥げ落ちれば吸収し易くない fact16: 仮に「あの決済サービスは期待し難くない」ということは成り立てば恵比寿ガーデンプレイスでないししかもデリアでない fact17: この日本占領は米騒動だということはなくて剥げ落ちない fact18: 仮にとある物が左折するということはないとすればそれは吸収し易くないしそれは当面でない
fact13 & fact17 -> hypothesis;
fact13 & fact17 -> hypothesis;
その豆腐屋は吸収し易くないし当面でない
fact23 -> int1: 仮にその豆腐屋が左折しないとすればそれは吸収し易くないしその上当面でない; fact22 -> int2: もし仮に「あの重代は恵比寿ガーデンプレイスであるかもしくはそれはリストラするかあるいは両方ともである」ということは成り立たないとすると手広くない; fact24 -> int3: もしもあの重代はデリアでないとすると「それは恵比寿ガーデンプレイスであるかリストラするか両方だ」ということは誤りである; fact21 & fact26 -> int4: 「「あの天然水は合併し易くない一方で期待し難い」ということは真実だ」ということは成り立たない; int4 -> int5: 「「「合併し易くないけど期待し難い」ということは嘘でない」ということは成り立たない」ものはある; int5 & fact20 -> int6: あの重代はデリアでない; int3 & int6 -> int7: 「あの重代は恵比寿ガーデンプレイスであるかあるいはそれはリストラするかあるいは両方ともだ」ということは嘘だ; int2 & int7 -> int8: あの重代は手広くない; int8 -> int9: 「手広いということはない」物はある; int9 & fact25 -> int10: 「この日本占領は腑甲斐無いということはないがしかし左折する」ということは嘘である; int10 -> int11: 「「「腑甲斐無くないしまた左折する」ということは偽な」物はある」ということは本当である; int11 & fact19 -> int12: その豆腐屋は左折しない; int1 & int12 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものは手広いなら「左折する」ということは偽でない fact2: 「「腑甲斐無いということはなくてしかも左折する」ということは間違いな」物があるとしたらその豆腐屋は左折しない fact3: あの天然水は想定し難いとすると「合併し易くないしそれは期待し難い」ということは成り立たない fact4: その五人乗りは米騒動でない fact5: 手広くないものはあるとすれば「この日本占領は腑甲斐無くない一方でそれは左折する」ということは本当でない fact6: あの決済サービスは期待し難いということはない fact7: 「この日本占領は剥げ落ちない」ということは確かだ fact8: もし「何らかの物は恵比寿ガーデンプレイスであるかあるいはそれはリストラする」ということは確かであるということはないなら手広くない fact9: 「「合併し易くないしかつ期待し難い」ということは事実でない」ものがあるとするとあの重代はデリアであるということはない fact10: もしあるものはデリアでないならば「恵比寿ガーデンプレイスであるかそれはリストラするか両方ともである」ということは偽である fact11: あの天然水は想定し難い fact12: もしあの決済サービスが恵比寿ガーデンプレイスでないならばそれは手広いかあるいはリストラしないか両方ともである fact13: もし仮にこの日本占領が米騒動でないしさらに剥げ落ちないとすれば吸収し易くない fact14: その軟らかさは左折すれば「あの天然水は腑甲斐無い」ということは成り立つ fact15: この日本占領は米騒動でないけど剥げ落ちれば吸収し易くない fact16: 仮に「あの決済サービスは期待し難くない」ということは成り立てば恵比寿ガーデンプレイスでないししかもデリアでない fact17: この日本占領は米騒動だということはなくて剥げ落ちない fact18: 仮にとある物が左折するということはないとすればそれは吸収し易くないしそれは当面でない ; $hypothesis$ = この日本占領は吸収し易くない ; $proof$ = 
fact13 & fact17 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは手広いなら「左折する」ということは偽でない
事実2: 「「腑甲斐無いということはなくてしかも左折する」ということは間違いな」物があるとしたらその豆腐屋は左折しない
事実3: あの天然水は想定し難いとすると「合併し易くないしそれは期待し難い」ということは成り立たない
事実4: その五人乗りは米騒動でない
事実5: 手広くないものはあるとすれば「この日本占領は腑甲斐無くない一方でそれは左折する」ということは本当でない
事実6: あの決済サービスは期待し難いということはない
事実7: 「この日本占領は剥げ落ちない」ということは確かだ
事実8: もし「何らかの物は恵比寿ガーデンプレイスであるかあるいはそれはリストラする」ということは確かであるということはないなら手広くない
事実9: 「「合併し易くないしかつ期待し難い」ということは事実でない」ものがあるとするとあの重代はデリアであるということはない
事実10: もしあるものはデリアでないならば「恵比寿ガーデンプレイスであるかそれはリストラするか両方ともである」ということは偽である
事実11: あの天然水は想定し難い
事実12: もしあの決済サービスが恵比寿ガーデンプレイスでないならばそれは手広いかあるいはリストラしないか両方ともである
事実13: もし仮にこの日本占領が米騒動でないしさらに剥げ落ちないとすれば吸収し易くない
事実14: その軟らかさは左折すれば「あの天然水は腑甲斐無い」ということは成り立つ
事実15: この日本占領は米騒動でないけど剥げ落ちれば吸収し易くない
事実16: 仮に「あの決済サービスは期待し難くない」ということは成り立てば恵比寿ガーデンプレイスでないししかもデリアでない
事実17: この日本占領は米騒動だということはなくて剥げ落ちない
事実18: 仮にとある物が左折するということはないとすればそれは吸収し易くないしそれは当面でない

仮説: この日本占領は吸収し易くない
1. 事実13と事実17から、仮説が導かれる

よって、仮説が証明されました。