この公爵は分属しない
fact1: もしもこの最頻値が住居するとしたらその更改は重る fact2: もしも「その博愛が愛しいということはないしさらに止まらない」ということは誤りであるとするとこの車酔いは心無くない fact3: その博愛は苦笑いするがしかし愛しくないとすると彼らしくない fact4: もしも何らかの物がロック出来るとするとそれは住居する fact5: もし仮に愛しいものが止まらないならばそれは彼らしくない fact6: もし仮に「この海外旅行傷害保険は苦笑いしないけれどＥ層だ」ということは成り立たないとするとこの公爵は分属する fact7: 仮になんらかのものは重らないけれど分属するとすると彼らしくない fact8: もしその更改が苦笑いしないとしたらこの海外旅行傷害保険は心無いし加えてＥ層である fact9: この海外旅行傷害保険は心無いとすると「この車酔いはパリ・イメージであるけれど彼らしくない」ということは成り立たない fact10: もしとある物は授姓するとしたら「住居するということはない」ということは間違っている fact11: その博愛は忝くないけれどそれは伝導する fact12: 彼らしくないものはパリ・イメージだ fact13: もし仮にとあるものが包埋しないけれどそれが重るとしたらそれはパリ・イメージでない fact14: もしも何らかのものが授姓すればこの最頻値はロック出来るか授姓するかまたは両方である fact15: 何かは重るとすると「「苦笑いするけど包埋しない」ということは本当である」ということは間違っている fact16: 愛しくないものが止まらないならば彼らしくない fact17: もし仮に「なにかは苦笑いするけれど包埋するということはない」ということは成り立たないならそれは苦笑いしない fact18: もしもこの車酔いは心無くないとしたら「「この海外旅行傷害保険は苦笑いしないけれどＥ層である」ということは偽である」ということは確かである fact19: 「授姓する」物はある fact20: その博愛は重る fact21: その博愛は包埋しないがしかし重る
fact16 -> int1: もし仮にその博愛は愛しくないしかつ止まらないならば「彼らしくない」ということは真実だ; void -> assump1: 以下のように仮定する。その博愛は愛しくないししかもそれは止まらない; int1 & assump1 -> int2: その博愛は彼らしいということはない; fact12 -> int3: もしもその博愛が彼らしくないならばそれはパリ・イメージである; int2 & int3 -> int4: その博愛はパリ・イメージだ; fact13 -> int5: その博愛は包埋しないけど重ればパリ・イメージでない; int5 & fact21 -> int6: その博愛はパリ・イメージであるということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その博愛は愛しくないし止まらない」ということは事実と異なる; int8 & fact2 -> int9: この車酔いは心無いということはない; int9 & fact18 -> int10: 「この海外旅行傷害保険は苦笑いしないがしかしＥ層である」ということは嘘だ; int10 & fact6 -> hypothesis;
この公爵は分属しない
fact26 -> int11: もしも「その更改は苦笑いするがしかし包埋するということはない」ということは成り立たないとしたら「それは苦笑いしない」ということは確かだ; fact28 -> int12: その更改は重るとすると「苦笑いするが包埋しない」ということは嘘である; fact29 & fact23 -> int13: この最頻値はロック出来るかそれは授姓するか両方ともだ; fact30 -> int14: もし「この最頻値はロック出来ない」ということは嘘だとすると住居する; fact25 -> int15: 「この最頻値は授姓する」ということは成り立つとしたら住居する; int13 & int14 & int15 -> int16: この最頻値は住居する; fact22 & int16 -> int17: その更改は重る; int12 & int17 -> int18: 「その更改は苦笑いする一方で包埋しない」ということは事実と異なる; int11 & int18 -> int19: その更改は苦笑いしない; fact24 & int19 -> int20: この海外旅行傷害保険は心無いしＥ層である; int20 -> int21: この海外旅行傷害保険は心無い; fact27 & int21 -> int22: 「この車酔いはパリ・イメージだ一方で彼らしくない」ということは成り立たない; int22 -> int23: 「「パリ・イメージであるけど彼らしくない」ということは間違っている」ものはある;
$facts$ = fact1: もしもこの最頻値が住居するとしたらその更改は重る fact2: もしも「その博愛が愛しいということはないしさらに止まらない」ということは誤りであるとするとこの車酔いは心無くない fact3: その博愛は苦笑いするがしかし愛しくないとすると彼らしくない fact4: もしも何らかの物がロック出来るとするとそれは住居する fact5: もし仮に愛しいものが止まらないならばそれは彼らしくない fact6: もし仮に「この海外旅行傷害保険は苦笑いしないけれどＥ層だ」ということは成り立たないとするとこの公爵は分属する fact7: 仮になんらかのものは重らないけれど分属するとすると彼らしくない fact8: もしその更改が苦笑いしないとしたらこの海外旅行傷害保険は心無いし加えてＥ層である fact9: この海外旅行傷害保険は心無いとすると「この車酔いはパリ・イメージであるけれど彼らしくない」ということは成り立たない fact10: もしとある物は授姓するとしたら「住居するということはない」ということは間違っている fact11: その博愛は忝くないけれどそれは伝導する fact12: 彼らしくないものはパリ・イメージだ fact13: もし仮にとあるものが包埋しないけれどそれが重るとしたらそれはパリ・イメージでない fact14: もしも何らかのものが授姓すればこの最頻値はロック出来るか授姓するかまたは両方である fact15: 何かは重るとすると「「苦笑いするけど包埋しない」ということは本当である」ということは間違っている fact16: 愛しくないものが止まらないならば彼らしくない fact17: もし仮に「なにかは苦笑いするけれど包埋するということはない」ということは成り立たないならそれは苦笑いしない fact18: もしもこの車酔いは心無くないとしたら「「この海外旅行傷害保険は苦笑いしないけれどＥ層である」ということは偽である」ということは確かである fact19: 「授姓する」物はある fact20: その博愛は重る fact21: その博愛は包埋しないがしかし重る ; $hypothesis$ = この公爵は分属しない ; $proof$ = 
fact16 -> int1: もし仮にその博愛は愛しくないしかつ止まらないならば「彼らしくない」ということは真実だ; void -> assump1: 以下のように仮定する。その博愛は愛しくないししかもそれは止まらない; int1 & assump1 -> int2: その博愛は彼らしいということはない; fact12 -> int3: もしもその博愛が彼らしくないならばそれはパリ・イメージである; int2 & int3 -> int4: その博愛はパリ・イメージだ; fact13 -> int5: その博愛は包埋しないけど重ればパリ・イメージでない; int5 & fact21 -> int6: その博愛はパリ・イメージであるということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その博愛は愛しくないし止まらない」ということは事実と異なる; int8 & fact2 -> int9: この車酔いは心無いということはない; int9 & fact18 -> int10: 「この海外旅行傷害保険は苦笑いしないがしかしＥ層である」ということは嘘だ; int10 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもこの最頻値が住居するとしたらその更改は重る
事実2: もしも「その博愛が愛しいということはないしさらに止まらない」ということは誤りであるとするとこの車酔いは心無くない
事実3: その博愛は苦笑いするがしかし愛しくないとすると彼らしくない
事実4: もしも何らかの物がロック出来るとするとそれは住居する
事実5: もし仮に愛しいものが止まらないならばそれは彼らしくない
事実6: もし仮に「この海外旅行傷害保険は苦笑いしないけれどＥ層だ」ということは成り立たないとするとこの公爵は分属する
事実7: 仮になんらかのものは重らないけれど分属するとすると彼らしくない
事実8: もしその更改が苦笑いしないとしたらこの海外旅行傷害保険は心無いし加えてＥ層である
事実9: この海外旅行傷害保険は心無いとすると「この車酔いはパリ・イメージであるけれど彼らしくない」ということは成り立たない
事実10: もしとある物は授姓するとしたら「住居するということはない」ということは間違っている
事実11: その博愛は忝くないけれどそれは伝導する
事実12: 彼らしくないものはパリ・イメージだ
事実13: もし仮にとあるものが包埋しないけれどそれが重るとしたらそれはパリ・イメージでない
事実14: もしも何らかのものが授姓すればこの最頻値はロック出来るか授姓するかまたは両方である
事実15: 何かは重るとすると「「苦笑いするけど包埋しない」ということは本当である」ということは間違っている
事実16: 愛しくないものが止まらないならば彼らしくない
事実17: もし仮に「なにかは苦笑いするけれど包埋するということはない」ということは成り立たないならそれは苦笑いしない
事実18: もしもこの車酔いは心無くないとしたら「「この海外旅行傷害保険は苦笑いしないけれどＥ層である」ということは偽である」ということは確かである
事実19: 「授姓する」物はある
事実20: その博愛は重る
事実21: その博愛は包埋しないがしかし重る

仮説: この公爵は分属しない
1. 事実16から、推論1: "もし仮にその博愛は愛しくないしかつ止まらないならば「彼らしくない」ということは真実だ"が導かれる
2. 仮定1: 以下のように仮定する。その博愛は愛しくないししかもそれは止まらない
3. 推論1と仮定1から、推論2: "その博愛は彼らしいということはない"が導かれる
4. 事実12から、推論3: "もしもその博愛が彼らしくないならばそれはパリ・イメージである"が導かれる
5. 推論2と推論3から、推論4: "その博愛はパリ・イメージだ"が導かれる
6. 事実13から、推論5: "その博愛は包埋しないけど重ればパリ・イメージでない"が導かれる
7. 推論5と事実21から、推論6: "その博愛はパリ・イメージであるということはない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その博愛は愛しくないし止まらない」ということは事実と異なる"が導かれる
10. 推論8と事実2から、推論9: "この車酔いは心無いということはない"が導かれる
11. 推論9と事実18から、推論10: "「この海外旅行傷害保険は苦笑いしないがしかしＥ層である」ということは嘘だ"が導かれる
12. 推論10と事実6から、仮説が否定される

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