この剣先はミンク鯨だ
fact1: この剣先は鎮座する fact2: そのＭＬ／分はミンク鯨でない fact3: この足留めは推移するしミンク鯨である fact4: この剣先は保つししかも捜査状況であるならばそれは鎮座しない fact5: この剣先は固し fact6: その頂は固しない fact7: もし仮に何かは鎮座するししかも固しとすればそれはミンク鯨でない fact8: この構造主義は鎮座する fact9: この剣先は果実であるしそれはカプセルである
fact1 & fact5 -> int1: この剣先は鎮座するしさらにそれは固し; fact7 -> int2: もし「この剣先は鎮座するし更に固し」ということは事実であるとすればそれはミンク鯨でない; int1 & int2 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); fact7 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: この剣先は鎮座する fact2: そのＭＬ／分はミンク鯨でない fact3: この足留めは推移するしミンク鯨である fact4: この剣先は保つししかも捜査状況であるならばそれは鎮座しない fact5: この剣先は固し fact6: その頂は固しない fact7: もし仮に何かは鎮座するししかも固しとすればそれはミンク鯨でない fact8: この構造主義は鎮座する fact9: この剣先は果実であるしそれはカプセルである ; $hypothesis$ = この剣先はミンク鯨だ ; $proof$ = 
fact1 & fact5 -> int1: この剣先は鎮座するしさらにそれは固し; fact7 -> int2: もし「この剣先は鎮座するし更に固し」ということは事実であるとすればそれはミンク鯨でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この剣先は鎮座する
事実2: そのＭＬ／分はミンク鯨でない
事実3: この足留めは推移するしミンク鯨である
事実4: この剣先は保つししかも捜査状況であるならばそれは鎮座しない
事実5: この剣先は固し
事実6: その頂は固しない
事実7: もし仮に何かは鎮座するししかも固しとすればそれはミンク鯨でない
事実8: この構造主義は鎮座する
事実9: この剣先は果実であるしそれはカプセルである

仮説: この剣先はミンク鯨だ
1. 事実1と事実5から、推論1: "この剣先は鎮座するしさらにそれは固し"が導かれる
2. 事実7から、推論2: "もし「この剣先は鎮座するし更に固し」ということは事実であるとすればそれはミンク鯨でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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