その合併対価は食らわせるしさらにかったるい
fact1: その解除事由は人間臭くない fact2: 「その合併対価は人間臭い」ということは成り立つ fact3: その合併対価が日本人らしくないならその解除事由は人間臭いということはない fact4: 「この琴座は食らわせる」ということは偽でない fact5: あの東側浴場は食らわせる fact6: その解除事由は日本人らしい fact7: もし「その合併対価はかったるい」ということは成り立てば人間臭い fact8: あの前遺跡が旅行パンフでないしそれが日本人らしいということはないならその解除事由はかったるくない fact9: あのカラザは人間臭い fact10: もしその合併対価が日本人らしくないとしたらその解除事由は優しないしそれにそれは人間臭くない fact11: 「その解除事由は優し」ということは真実だ fact12: 当たり難い物は旅行パンフでなくてまた日本人らしくない fact13: その解除事由は集中化だ fact14: もしその合併対価が日本人らしいとすればそれはかったるい fact15: その合併対価は外れる fact16: その合併対価は食らわせる fact17: その解除事由はおもろいということはない
void -> assump1: 以下のように仮定する。その合併対価は日本人らしくない; fact10 & assump1 -> int1: その解除事由は優しないものであって人間臭いということはない; int1 -> int2: その解除事由は優しない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: その合併対価は日本人らしい; int4 & fact14 -> int5: その合併対価はかったるい; int5 & fact16 -> hypothesis;
「「その合併対価は食らわせるしかったるい」ということは成り立つ」ということは誤りだ
fact19 -> int6: もしあの前遺跡が当たり難いならば旅行パンフでなくて更に日本人らしくない;
$facts$ = fact1: その解除事由は人間臭くない fact2: 「その合併対価は人間臭い」ということは成り立つ fact3: その合併対価が日本人らしくないならその解除事由は人間臭いということはない fact4: 「この琴座は食らわせる」ということは偽でない fact5: あの東側浴場は食らわせる fact6: その解除事由は日本人らしい fact7: もし「その合併対価はかったるい」ということは成り立てば人間臭い fact8: あの前遺跡が旅行パンフでないしそれが日本人らしいということはないならその解除事由はかったるくない fact9: あのカラザは人間臭い fact10: もしその合併対価が日本人らしくないとしたらその解除事由は優しないしそれにそれは人間臭くない fact11: 「その解除事由は優し」ということは真実だ fact12: 当たり難い物は旅行パンフでなくてまた日本人らしくない fact13: その解除事由は集中化だ fact14: もしその合併対価が日本人らしいとすればそれはかったるい fact15: その合併対価は外れる fact16: その合併対価は食らわせる fact17: その解除事由はおもろいということはない ; $hypothesis$ = その合併対価は食らわせるしさらにかったるい ; $proof$ = 
void -> assump1: 以下のように仮定する。その合併対価は日本人らしくない; fact10 & assump1 -> int1: その解除事由は優しないものであって人間臭いということはない; int1 -> int2: その解除事由は優しない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: その合併対価は日本人らしい; int4 & fact14 -> int5: その合併対価はかったるい; int5 & fact16 -> hypothesis; __PROVED__
事実1: その解除事由は人間臭くない
事実2: 「その合併対価は人間臭い」ということは成り立つ
事実3: その合併対価が日本人らしくないならその解除事由は人間臭いということはない
事実4: 「この琴座は食らわせる」ということは偽でない
事実5: あの東側浴場は食らわせる
事実6: その解除事由は日本人らしい
事実7: もし「その合併対価はかったるい」ということは成り立てば人間臭い
事実8: あの前遺跡が旅行パンフでないしそれが日本人らしいということはないならその解除事由はかったるくない
事実9: あのカラザは人間臭い
事実10: もしその合併対価が日本人らしくないとしたらその解除事由は優しないしそれにそれは人間臭くない
事実11: 「その解除事由は優し」ということは真実だ
事実12: 当たり難い物は旅行パンフでなくてまた日本人らしくない
事実13: その解除事由は集中化だ
事実14: もしその合併対価が日本人らしいとすればそれはかったるい
事実15: その合併対価は外れる
事実16: その合併対価は食らわせる
事実17: その解除事由はおもろいということはない

仮説: その合併対価は食らわせるしさらにかったるい
1. 仮定1: 以下のように仮定する。その合併対価は日本人らしくない
2. 事実10と仮定1から、推論1: "その解除事由は優しないものであって人間臭いということはない"が導かれる
3. 推論1から、推論2: "その解除事由は優しない"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その合併対価は日本人らしい"が導かれる
6. 推論4と事実14から、推論5: "その合併対価はかったるい"が導かれる
7. 推論5と事実16から、仮説が導かれる

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