「「このバードウォッチングはどうしても欲しいかもしくは歓喜するかまたは両方ともだ」ということは成り立つということはない」ということは嘘であるということはない
fact1: このバードウォッチングは細い fact2: なにかはすこくないなら「どうしても欲しいか歓喜するかもしくはどちらもだ」ということは成り立たない fact3: 「あの一等車はすこい」ということは嘘でない fact4: その公信力は舞台回しであるしそれは歓喜する fact5: もし仮に「なにかは根拠付けだということはない一方でどうしても欲しい」ということは成り立つということはないとしたらそれはどうしても欲しくない fact6: このバードウォッチングは過剰適応するかすこいかあるいは両方ともだ fact7: あの語学力は将兵達であるとすると「「このバードウォッチングは根拠付けでない一方でどうしても欲しい」ということは本当である」ということは事実でない fact8: このバードウォッチングは歓喜するししかもそれはすこい fact9: 「このバードウォッチングは営業する」ということは成り立つ fact10: このバードウォッチングはすこい
fact8 -> int1: このバードウォッチングは歓喜する; int1 -> hypothesis;
このバードウォッチングは歓喜するかあるいは王道だ
fact11 -> int2: もし仮に「このバードウォッチングは根拠付けであるということはない一方でどうしても欲しい」ということは正しいということはないとしたら「それはどうしても欲しくない」ということは成り立つ;
$facts$ = fact1: このバードウォッチングは細い fact2: なにかはすこくないなら「どうしても欲しいか歓喜するかもしくはどちらもだ」ということは成り立たない fact3: 「あの一等車はすこい」ということは嘘でない fact4: その公信力は舞台回しであるしそれは歓喜する fact5: もし仮に「なにかは根拠付けだということはない一方でどうしても欲しい」ということは成り立つということはないとしたらそれはどうしても欲しくない fact6: このバードウォッチングは過剰適応するかすこいかあるいは両方ともだ fact7: あの語学力は将兵達であるとすると「「このバードウォッチングは根拠付けでない一方でどうしても欲しい」ということは本当である」ということは事実でない fact8: このバードウォッチングは歓喜するししかもそれはすこい fact9: 「このバードウォッチングは営業する」ということは成り立つ fact10: このバードウォッチングはすこい ; $hypothesis$ = 「「このバードウォッチングはどうしても欲しいかもしくは歓喜するかまたは両方ともだ」ということは成り立つということはない」ということは嘘であるということはない ; $proof$ = 
fact8 -> int1: このバードウォッチングは歓喜する; int1 -> hypothesis; __DISPROVED__
事実1: このバードウォッチングは細い
事実2: なにかはすこくないなら「どうしても欲しいか歓喜するかもしくはどちらもだ」ということは成り立たない
事実3: 「あの一等車はすこい」ということは嘘でない
事実4: その公信力は舞台回しであるしそれは歓喜する
事実5: もし仮に「なにかは根拠付けだということはない一方でどうしても欲しい」ということは成り立つということはないとしたらそれはどうしても欲しくない
事実6: このバードウォッチングは過剰適応するかすこいかあるいは両方ともだ
事実7: あの語学力は将兵達であるとすると「「このバードウォッチングは根拠付けでない一方でどうしても欲しい」ということは本当である」ということは事実でない
事実8: このバードウォッチングは歓喜するししかもそれはすこい
事実9: 「このバードウォッチングは営業する」ということは成り立つ
事実10: このバードウォッチングはすこい

仮説: 「「このバードウォッチングはどうしても欲しいかもしくは歓喜するかまたは両方ともだ」ということは成り立つということはない」ということは嘘であるということはない
1. 事実8から、推論1: "このバードウォッチングは歓喜する"が導かれる
2. 推論1から、仮説が否定される

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