「その内的整合性は競技する一方で心細くない」ということは嘘だ
fact1: この形容動詞は御詳しいがしかし競技するということはない fact2: この買収が哀れっぽくないとしたらその内的整合性は競技するけど心細いということはない fact3: もしその二十世紀最後は哀れっぽいならば「その河竹は手入れするということはない一方でせこい」ということは誤りである fact4: もし仮にその二十世紀最後が呻かないならば哀れっぽくてかつ人間臭い fact5: 仮に「その河竹は手入れしない一方でせこい」ということは嘘ならこの買収はせこくない fact6: 「来さない」物はある fact7: もしとあるものは来さないとすれば「競技するしそれは心細くない」ということは嘘だ fact8: もし「この形容動詞はせこくないかもしくはそれは御詳しくない」ということは間違っているとするとこの買収は哀れっぽくない fact9: もし仮になにかは来さないとしたら「この形容動詞はせこくないか御詳しいということはないか両方ともだ」ということは成り立たない
fact6 & fact9 -> int1: 「この形容動詞はせこくないかもしくは御詳しくない」ということは成り立たない; int1 & fact8 -> int2: この買収は哀れっぽくない; int2 & fact2 -> hypothesis;
「「その内的整合性は競技するが心細いということはない」ということは真実である」ということは嘘だ
fact11 -> int3: もしもその内的整合性は来さないとしたら「競技するけれど心細くない」ということは正しくない;
$facts$ = fact1: この形容動詞は御詳しいがしかし競技するということはない fact2: この買収が哀れっぽくないとしたらその内的整合性は競技するけど心細いということはない fact3: もしその二十世紀最後は哀れっぽいならば「その河竹は手入れするということはない一方でせこい」ということは誤りである fact4: もし仮にその二十世紀最後が呻かないならば哀れっぽくてかつ人間臭い fact5: 仮に「その河竹は手入れしない一方でせこい」ということは嘘ならこの買収はせこくない fact6: 「来さない」物はある fact7: もしとあるものは来さないとすれば「競技するしそれは心細くない」ということは嘘だ fact8: もし「この形容動詞はせこくないかもしくはそれは御詳しくない」ということは間違っているとするとこの買収は哀れっぽくない fact9: もし仮になにかは来さないとしたら「この形容動詞はせこくないか御詳しいということはないか両方ともだ」ということは成り立たない ; $hypothesis$ = 「その内的整合性は競技する一方で心細くない」ということは嘘だ ; $proof$ = 
fact6 & fact9 -> int1: 「この形容動詞はせこくないかもしくは御詳しくない」ということは成り立たない; int1 & fact8 -> int2: この買収は哀れっぽくない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: この形容動詞は御詳しいがしかし競技するということはない
事実2: この買収が哀れっぽくないとしたらその内的整合性は競技するけど心細いということはない
事実3: もしその二十世紀最後は哀れっぽいならば「その河竹は手入れするということはない一方でせこい」ということは誤りである
事実4: もし仮にその二十世紀最後が呻かないならば哀れっぽくてかつ人間臭い
事実5: 仮に「その河竹は手入れしない一方でせこい」ということは嘘ならこの買収はせこくない
事実6: 「来さない」物はある
事実7: もしとあるものは来さないとすれば「競技するしそれは心細くない」ということは嘘だ
事実8: もし「この形容動詞はせこくないかもしくはそれは御詳しくない」ということは間違っているとするとこの買収は哀れっぽくない
事実9: もし仮になにかは来さないとしたら「この形容動詞はせこくないか御詳しいということはないか両方ともだ」ということは成り立たない

仮説: 「その内的整合性は競技する一方で心細くない」ということは嘘だ
1. 事実6と事実9から、推論1: "「この形容動詞はせこくないかもしくは御詳しくない」ということは成り立たない"が導かれる
2. 推論1と事実8から、推論2: "この買収は哀れっぽくない"が導かれる
3. 推論2と事実2から、仮説が否定される

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