このリオ宣言はティンでない
fact1: もしも何らかの物は切り離し難くないか都市デザインであるか両方だとすればスポーツマンらしくない fact2: 応用例だが白縁でないという物はない fact3: もし仮に「この乳児はスポーツマンらしいしティンだ」ということは誤りなら「このリオ宣言はティンだということはない」ということは本当である fact4: その大ホールはスポーツマンらしい fact5: 「スポーツマンらしくない」物があるとすればそのニューヨーク・タイムズ紙はティンだししかも申告納付する fact6: このリオ宣言はティンであるし加えてスポーツマンらしい fact7: あのレはティンであるし御存ずる fact8: このリオ宣言はスポーツマンらしい fact9: もし「何かは応用例だがしかしそれは白縁でない」ということは誤りであるとするとそれは白縁である fact10: あのバーベナはティンでしかも浅黒い fact11: 「その調整齣有りは応用例である」ということは成り立つならばあの乳児は切り離し難くない一方でスポーツマンらしい
fact6 -> hypothesis;
fact6 -> hypothesis;
このリオ宣言はティンでない
$facts$ = fact1: もしも何らかの物は切り離し難くないか都市デザインであるか両方だとすればスポーツマンらしくない fact2: 応用例だが白縁でないという物はない fact3: もし仮に「この乳児はスポーツマンらしいしティンだ」ということは誤りなら「このリオ宣言はティンだということはない」ということは本当である fact4: その大ホールはスポーツマンらしい fact5: 「スポーツマンらしくない」物があるとすればそのニューヨーク・タイムズ紙はティンだししかも申告納付する fact6: このリオ宣言はティンであるし加えてスポーツマンらしい fact7: あのレはティンであるし御存ずる fact8: このリオ宣言はスポーツマンらしい fact9: もし「何かは応用例だがしかしそれは白縁でない」ということは誤りであるとするとそれは白縁である fact10: あのバーベナはティンでしかも浅黒い fact11: 「その調整齣有りは応用例である」ということは成り立つならばあの乳児は切り離し難くない一方でスポーツマンらしい ; $hypothesis$ = このリオ宣言はティンでない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物は切り離し難くないか都市デザインであるか両方だとすればスポーツマンらしくない
事実2: 応用例だが白縁でないという物はない
事実3: もし仮に「この乳児はスポーツマンらしいしティンだ」ということは誤りなら「このリオ宣言はティンだということはない」ということは本当である
事実4: その大ホールはスポーツマンらしい
事実5: 「スポーツマンらしくない」物があるとすればそのニューヨーク・タイムズ紙はティンだししかも申告納付する
事実6: このリオ宣言はティンであるし加えてスポーツマンらしい
事実7: あのレはティンであるし御存ずる
事実8: このリオ宣言はスポーツマンらしい
事実9: もし「何かは応用例だがしかしそれは白縁でない」ということは誤りであるとするとそれは白縁である
事実10: あのバーベナはティンでしかも浅黒い
事実11: 「その調整齣有りは応用例である」ということは成り立つならばあの乳児は切り離し難くない一方でスポーツマンらしい

仮説: このリオ宣言はティンでない
1. 事実6から、仮説が否定される

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