あの墓参りは輸入しない
fact1: この七団体は御出席下さらないけれどテンプレート内だ fact2: もしも「あのＩＮＴ型は探し易い」ということは成り立つならばあの墓参りは輸入する fact3: もし仮にこのバタム島工業団地が上げ易いしその上御出席下さるとすればあのＩＮＴ型は探し易い fact4: 「このバタム島工業団地は上げ易くない」ということは正しい fact5: このバタム島工業団地は上げ易くないけど御出席下さる fact6: もし「このバタム島工業団地は上げ易くないけど御出席下さる」ということは誤りでないとするとあのＩＮＴ型は探し易い
fact6 & fact5 -> int1: あのＩＮＴ型は探し易い; int1 & fact2 -> hypothesis;
fact6 & fact5 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
$facts$ = fact1: この七団体は御出席下さらないけれどテンプレート内だ fact2: もしも「あのＩＮＴ型は探し易い」ということは成り立つならばあの墓参りは輸入する fact3: もし仮にこのバタム島工業団地が上げ易いしその上御出席下さるとすればあのＩＮＴ型は探し易い fact4: 「このバタム島工業団地は上げ易くない」ということは正しい fact5: このバタム島工業団地は上げ易くないけど御出席下さる fact6: もし「このバタム島工業団地は上げ易くないけど御出席下さる」ということは誤りでないとするとあのＩＮＴ型は探し易い ; $hypothesis$ = あの墓参りは輸入しない ; $proof$ = 
fact6 & fact5 -> int1: あのＩＮＴ型は探し易い; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: この七団体は御出席下さらないけれどテンプレート内だ
事実2: もしも「あのＩＮＴ型は探し易い」ということは成り立つならばあの墓参りは輸入する
事実3: もし仮にこのバタム島工業団地が上げ易いしその上御出席下さるとすればあのＩＮＴ型は探し易い
事実4: 「このバタム島工業団地は上げ易くない」ということは正しい
事実5: このバタム島工業団地は上げ易くないけど御出席下さる
事実6: もし「このバタム島工業団地は上げ易くないけど御出席下さる」ということは誤りでないとするとあのＩＮＴ型は探し易い

仮説: あの墓参りは輸入しない
1. 事実6と事実5から、推論1: "あのＩＮＴ型は探し易い"が導かれる
2. 推論1と事実2から、仮説が否定される

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