「このおっさん達はこよないかまたは叫ばないかあるいはどちらもである」ということは成り立たない
fact1: その独りぼっちは可愛らしいししかもそれは埃っぽい fact2: 「その独りぼっちは可愛らしい」ということは確かだとするとこのおっさん達は物凄い fact3: その独りぼっちはノーギャラでない fact4: このおっさん達があくどいとしたらそれは骨っぽい fact5: 物凄い物はあくどい fact6: 仮にその独りぼっちはノーギャラでないとすると骨っぽくて更にあくどい fact7: 仮にこのおっさん達が骨っぽくてそれはノーギャラならば「馴染めない」ということは間違っていない fact8: もしその独りぼっちは可愛らしくてノーギャラだとしたら骨っぽくない fact9: このおっさん達はノーギャラで議決権比率だ fact10: もしなにかは可愛らしくないならば「それはこよないかあるいは叫ばない」ということは事実と異なる fact11: もし仮になにかは馴染めないとすればそれはこよないかあるいは叫ばない
fact1 -> int1: その独りぼっちは可愛らしい; int1 & fact2 -> int2: このおっさん達は物凄い; fact5 -> int3: もしもこのおっさん達が物凄いとすればあくどい; int2 & int3 -> int4: このおっさん達はあくどい; int4 & fact4 -> int5: このおっさん達は骨っぽい; fact9 -> int6: 「このおっさん達はノーギャラである」ということは確かである; int5 & int6 -> int7: このおっさん達は骨っぽいしそれにノーギャラだ; int7 & fact7 -> int8: このおっさん達は馴染めない; fact11 -> int9: もし仮にこのおっさん達が馴染めないならこよないかもしくはそれは叫ばないかまたはどちらもである; int8 & int9 -> hypothesis;
「「このおっさん達はこよないかまたは叫ばない」ということは間違いだ」ということは事実である
fact12 -> int10: 仮にこのおっさん達は可愛らしくないとしたら「それはこよないかもしくはそれは叫ばない」ということは嘘である; fact13 & fact14 -> int11: その独りぼっちは骨っぽくてさらにあくどい; int11 -> int12: その独りぼっちはあくどい; int12 -> int13: 「あくどい」物はある;
$facts$ = fact1: その独りぼっちは可愛らしいししかもそれは埃っぽい fact2: 「その独りぼっちは可愛らしい」ということは確かだとするとこのおっさん達は物凄い fact3: その独りぼっちはノーギャラでない fact4: このおっさん達があくどいとしたらそれは骨っぽい fact5: 物凄い物はあくどい fact6: 仮にその独りぼっちはノーギャラでないとすると骨っぽくて更にあくどい fact7: 仮にこのおっさん達が骨っぽくてそれはノーギャラならば「馴染めない」ということは間違っていない fact8: もしその独りぼっちは可愛らしくてノーギャラだとしたら骨っぽくない fact9: このおっさん達はノーギャラで議決権比率だ fact10: もしなにかは可愛らしくないならば「それはこよないかあるいは叫ばない」ということは事実と異なる fact11: もし仮になにかは馴染めないとすればそれはこよないかあるいは叫ばない ; $hypothesis$ = 「このおっさん達はこよないかまたは叫ばないかあるいはどちらもである」ということは成り立たない ; $proof$ = 
fact1 -> int1: その独りぼっちは可愛らしい; int1 & fact2 -> int2: このおっさん達は物凄い; fact5 -> int3: もしもこのおっさん達が物凄いとすればあくどい; int2 & int3 -> int4: このおっさん達はあくどい; int4 & fact4 -> int5: このおっさん達は骨っぽい; fact9 -> int6: 「このおっさん達はノーギャラである」ということは確かである; int5 & int6 -> int7: このおっさん達は骨っぽいしそれにノーギャラだ; int7 & fact7 -> int8: このおっさん達は馴染めない; fact11 -> int9: もし仮にこのおっさん達が馴染めないならこよないかもしくはそれは叫ばないかまたはどちらもである; int8 & int9 -> hypothesis; __DISPROVED__
事実1: その独りぼっちは可愛らしいししかもそれは埃っぽい
事実2: 「その独りぼっちは可愛らしい」ということは確かだとするとこのおっさん達は物凄い
事実3: その独りぼっちはノーギャラでない
事実4: このおっさん達があくどいとしたらそれは骨っぽい
事実5: 物凄い物はあくどい
事実6: 仮にその独りぼっちはノーギャラでないとすると骨っぽくて更にあくどい
事実7: 仮にこのおっさん達が骨っぽくてそれはノーギャラならば「馴染めない」ということは間違っていない
事実8: もしその独りぼっちは可愛らしくてノーギャラだとしたら骨っぽくない
事実9: このおっさん達はノーギャラで議決権比率だ
事実10: もしなにかは可愛らしくないならば「それはこよないかあるいは叫ばない」ということは事実と異なる
事実11: もし仮になにかは馴染めないとすればそれはこよないかあるいは叫ばない

仮説: 「このおっさん達はこよないかまたは叫ばないかあるいはどちらもである」ということは成り立たない
1. 事実1から、推論1: "その独りぼっちは可愛らしい"が導かれる
2. 推論1と事実2から、推論2: "このおっさん達は物凄い"が導かれる
3. 事実5から、推論3: "もしもこのおっさん達が物凄いとすればあくどい"が導かれる
4. 推論2と推論3から、推論4: "このおっさん達はあくどい"が導かれる
5. 推論4と事実4から、推論5: "このおっさん達は骨っぽい"が導かれる
6. 事実9から、推論6: "「このおっさん達はノーギャラである」ということは確かである"が導かれる
7. 推論5と推論6から、推論7: "このおっさん達は骨っぽいしそれにノーギャラだ"が導かれる
8. 推論7と事実7から、推論8: "このおっさん達は馴染めない"が導かれる
9. 事実11から、推論9: "もし仮にこのおっさん達が馴染めないならこよないかもしくはそれは叫ばないかまたはどちらもである"が導かれる
10. 推論8と推論9から、仮説が否定される

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