「その三十分程度は悲しくない」ということは真実だ
fact1: そのランディング・サイトは優しくないとすると「このＫ先生は実現し易いし更に悲しい」ということは偽だ fact2: 「もし仮にこのＫ先生が優しいならそのランディング・サイトは一望である」ということは正しい fact3: もし「このＫ先生は実現し易いししかも悲しい」ということは成り立たないとすればあの三十分程度は悲しくない fact4: このＫ先生は実現し易いししかも優しい fact5: 仮にこのＫ先生が優しいとすればあのランディング・サイトは一望だ一方で水揚げしない fact6: もしもそのランディング・サイトが一望だがしかしそれが水揚げしないとすればあの三十分程度は悲しい fact7: そのランディング・サイトは一望だ fact8: そのランディング・サイトは優しい fact9: このＫ先生は実現し易い
fact4 -> int1: このＫ先生は優しい; int1 & fact5 -> int2: そのランディング・サイトは一望だ一方でそれは水揚げしない; int2 & fact6 -> hypothesis;
その三十分程度は悲しくない
$facts$ = fact1: そのランディング・サイトは優しくないとすると「このＫ先生は実現し易いし更に悲しい」ということは偽だ fact2: 「もし仮にこのＫ先生が優しいならそのランディング・サイトは一望である」ということは正しい fact3: もし「このＫ先生は実現し易いししかも悲しい」ということは成り立たないとすればあの三十分程度は悲しくない fact4: このＫ先生は実現し易いししかも優しい fact5: 仮にこのＫ先生が優しいとすればあのランディング・サイトは一望だ一方で水揚げしない fact6: もしもそのランディング・サイトが一望だがしかしそれが水揚げしないとすればあの三十分程度は悲しい fact7: そのランディング・サイトは一望だ fact8: そのランディング・サイトは優しい fact9: このＫ先生は実現し易い ; $hypothesis$ = 「その三十分程度は悲しくない」ということは真実だ ; $proof$ = 
fact4 -> int1: このＫ先生は優しい; int1 & fact5 -> int2: そのランディング・サイトは一望だ一方でそれは水揚げしない; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: そのランディング・サイトは優しくないとすると「このＫ先生は実現し易いし更に悲しい」ということは偽だ
事実2: 「もし仮にこのＫ先生が優しいならそのランディング・サイトは一望である」ということは正しい
事実3: もし「このＫ先生は実現し易いししかも悲しい」ということは成り立たないとすればあの三十分程度は悲しくない
事実4: このＫ先生は実現し易いししかも優しい
事実5: 仮にこのＫ先生が優しいとすればあのランディング・サイトは一望だ一方で水揚げしない
事実6: もしもそのランディング・サイトが一望だがしかしそれが水揚げしないとすればあの三十分程度は悲しい
事実7: そのランディング・サイトは一望だ
事実8: そのランディング・サイトは優しい
事実9: このＫ先生は実現し易い

仮説: 「その三十分程度は悲しくない」ということは真実だ
1. 事実4から、推論1: "このＫ先生は優しい"が導かれる
2. 推論1と事実5から、推論2: "そのランディング・サイトは一望だ一方でそれは水揚げしない"が導かれる
3. 推論2と事実6から、仮説が否定される

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