「「仮に切り伏せないしおまけにスタイル参照なら恋しかない」物はある」ということは偽である
fact1: もしもなにかはピラフでないがしかし忙しいなら恋しかない fact2: 「もし仮に切り伏せなくてスタイル参照であるとすれば恋しい」ものはある fact3: 仮にあの大総督府は切り伏せるしそれにスタイル参照であるとしたらそれは恋しかない fact4: あの大総督府が切り伏せないけれどそれがスタイル参照だとしたら恋しかない fact5: 「もしも渋くないし更にフェロアロイなら想像出来ない」物はある fact6: もし仮にあの大総督府は切り伏せないけどスタイル参照であるとしたら恋しい fact7: 「もし仮に着陸だということはないしさらに仮想フレームバッファならば障害程度区分でない」ものはある fact8: 「ピラフであるということはなくてかつ飲み為さるとすれば小賢しいということはない」物はある fact9: 「切り伏せるしスタイル参照であるなら恋しかない」物はある
fact4 -> hypothesis;
この寸時はピラフでないけれど忙しいならばそれは恋しかない
fact10 -> hypothesis;
$facts$ = fact1: もしもなにかはピラフでないがしかし忙しいなら恋しかない fact2: 「もし仮に切り伏せなくてスタイル参照であるとすれば恋しい」ものはある fact3: 仮にあの大総督府は切り伏せるしそれにスタイル参照であるとしたらそれは恋しかない fact4: あの大総督府が切り伏せないけれどそれがスタイル参照だとしたら恋しかない fact5: 「もしも渋くないし更にフェロアロイなら想像出来ない」物はある fact6: もし仮にあの大総督府は切り伏せないけどスタイル参照であるとしたら恋しい fact7: 「もし仮に着陸だということはないしさらに仮想フレームバッファならば障害程度区分でない」ものはある fact8: 「ピラフであるということはなくてかつ飲み為さるとすれば小賢しいということはない」物はある fact9: 「切り伏せるしスタイル参照であるなら恋しかない」物はある ; $hypothesis$ = 「「仮に切り伏せないしおまけにスタイル参照なら恋しかない」物はある」ということは偽である ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もしもなにかはピラフでないがしかし忙しいなら恋しかない
事実2: 「もし仮に切り伏せなくてスタイル参照であるとすれば恋しい」ものはある
事実3: 仮にあの大総督府は切り伏せるしそれにスタイル参照であるとしたらそれは恋しかない
事実4: あの大総督府が切り伏せないけれどそれがスタイル参照だとしたら恋しかない
事実5: 「もしも渋くないし更にフェロアロイなら想像出来ない」物はある
事実6: もし仮にあの大総督府は切り伏せないけどスタイル参照であるとしたら恋しい
事実7: 「もし仮に着陸だということはないしさらに仮想フレームバッファならば障害程度区分でない」ものはある
事実8: 「ピラフであるということはなくてかつ飲み為さるとすれば小賢しいということはない」物はある
事実9: 「切り伏せるしスタイル参照であるなら恋しかない」物はある

仮説: 「「仮に切り伏せないしおまけにスタイル参照なら恋しかない」物はある」ということは偽である
1. 事実4から、仮説が否定される

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