この差額徴収はアンデス世界だ
fact1: このタブロイド紙は物欲しい fact2: 仮にこのタブロイド紙が恭しくて物欲しいとするとこの差額徴収はアンデス世界であるということはない fact3: このタブロイド紙は恭しい fact4: この差額徴収は恭しい fact5: もしこのタブロイド紙が恭しくておまけにアンデス世界だとしたらこの差額徴収は物欲しかない fact6: そのロキは物欲しかない fact7: この差額徴収は検索機能だしその上物欲しい
fact3 & fact1 -> int1: このタブロイド紙は恭しくておまけにそれは物欲しい; int1 & fact2 -> hypothesis;
$facts$ = fact1: このタブロイド紙は物欲しい fact2: 仮にこのタブロイド紙が恭しくて物欲しいとするとこの差額徴収はアンデス世界であるということはない fact3: このタブロイド紙は恭しい fact4: この差額徴収は恭しい fact5: もしこのタブロイド紙が恭しくておまけにアンデス世界だとしたらこの差額徴収は物欲しかない fact6: そのロキは物欲しかない fact7: この差額徴収は検索機能だしその上物欲しい ; $hypothesis$ = この差額徴収はアンデス世界だ ; $proof$ = 
fact3 & fact1 -> int1: このタブロイド紙は恭しくておまけにそれは物欲しい; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: このタブロイド紙は物欲しい
事実2: 仮にこのタブロイド紙が恭しくて物欲しいとするとこの差額徴収はアンデス世界であるということはない
事実3: このタブロイド紙は恭しい
事実4: この差額徴収は恭しい
事実5: もしこのタブロイド紙が恭しくておまけにアンデス世界だとしたらこの差額徴収は物欲しかない
事実6: そのロキは物欲しかない
事実7: この差額徴収は検索機能だしその上物欲しい

仮説: この差額徴収はアンデス世界だ
1. 事実3と事実1から、推論1: "このタブロイド紙は恭しくておまけにそれは物欲しい"が導かれる
2. 推論1と事実2から、仮説が否定される

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