このフォー・トップスは飲み難いしさらにそれは多い
fact1: もし仮にこの複合動詞は観察し易くないとするとそれは憎たらしくない fact2: 「このフォー・トップスは不安がる」ということは成り立つ fact3: このフォー・トップスは多い fact4: その円運動は日本人らしい fact5: その最敬礼は読み続けるし飲み難い fact6: もしこのフォー・トップスが憎たらしいとしたらそれは飲み難い fact7: もし仮に「この複合動詞は憎たらしくない」ということは成り立てばその円運動は広げるしそれは不安がる fact8: もしもその円運動が憎たらしいならばこのフォー・トップスは微粉である fact9: 仮にこのフォー・トップスが広げるけれど憎たらしいということはないならその円運動は観察し易くない fact10: このフォー・トップスは広げるし不安がる fact11: もしこのフォー・トップスが微粉であるとしたらこの必要事項は微粉である fact12: 「その円運動は観察し易い」ということは正しい fact13: この全重量は憎たらしい
fact10 -> int1: このフォー・トップスは広げる; void -> assump1: 以下のように仮定する。このフォー・トップスは憎たらしくない; int1 & assump1 -> int2: このフォー・トップスは広げるけど憎たらしくない; int2 & fact9 -> int3: 「その円運動は観察し易くない」ということは本当だ; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: このフォー・トップスは憎たらしい; int5 & fact6 -> int6: このフォー・トップスは飲み難い; int6 & fact3 -> hypothesis;
「このフォー・トップスは飲み難いししかも多い」ということは成り立たない
$facts$ = fact1: もし仮にこの複合動詞は観察し易くないとするとそれは憎たらしくない fact2: 「このフォー・トップスは不安がる」ということは成り立つ fact3: このフォー・トップスは多い fact4: その円運動は日本人らしい fact5: その最敬礼は読み続けるし飲み難い fact6: もしこのフォー・トップスが憎たらしいとしたらそれは飲み難い fact7: もし仮に「この複合動詞は憎たらしくない」ということは成り立てばその円運動は広げるしそれは不安がる fact8: もしもその円運動が憎たらしいならばこのフォー・トップスは微粉である fact9: 仮にこのフォー・トップスが広げるけれど憎たらしいということはないならその円運動は観察し易くない fact10: このフォー・トップスは広げるし不安がる fact11: もしこのフォー・トップスが微粉であるとしたらこの必要事項は微粉である fact12: 「その円運動は観察し易い」ということは正しい fact13: この全重量は憎たらしい ; $hypothesis$ = このフォー・トップスは飲み難いしさらにそれは多い ; $proof$ = 
fact10 -> int1: このフォー・トップスは広げる; void -> assump1: 以下のように仮定する。このフォー・トップスは憎たらしくない; int1 & assump1 -> int2: このフォー・トップスは広げるけど憎たらしくない; int2 & fact9 -> int3: 「その円運動は観察し易くない」ということは本当だ; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: このフォー・トップスは憎たらしい; int5 & fact6 -> int6: このフォー・トップスは飲み難い; int6 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にこの複合動詞は観察し易くないとするとそれは憎たらしくない
事実2: 「このフォー・トップスは不安がる」ということは成り立つ
事実3: このフォー・トップスは多い
事実4: その円運動は日本人らしい
事実5: その最敬礼は読み続けるし飲み難い
事実6: もしこのフォー・トップスが憎たらしいとしたらそれは飲み難い
事実7: もし仮に「この複合動詞は憎たらしくない」ということは成り立てばその円運動は広げるしそれは不安がる
事実8: もしもその円運動が憎たらしいならばこのフォー・トップスは微粉である
事実9: 仮にこのフォー・トップスが広げるけれど憎たらしいということはないならその円運動は観察し易くない
事実10: このフォー・トップスは広げるし不安がる
事実11: もしこのフォー・トップスが微粉であるとしたらこの必要事項は微粉である
事実12: 「その円運動は観察し易い」ということは正しい
事実13: この全重量は憎たらしい

仮説: このフォー・トップスは飲み難いしさらにそれは多い
1. 事実10から、推論1: "このフォー・トップスは広げる"が導かれる
2. 仮定1: 以下のように仮定する。このフォー・トップスは憎たらしくない
3. 推論1と仮定1から、推論2: "このフォー・トップスは広げるけど憎たらしくない"が導かれる
4. 推論2と事実9から、推論3: "「その円運動は観察し易くない」ということは本当だ"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このフォー・トップスは憎たらしい"が導かれる
7. 推論5と事実6から、推論6: "このフォー・トップスは飲み難い"が導かれる
8. 推論6と事実3から、仮説が導かれる

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