この環境設計はくよくよしない
fact1: この二ブロックは継続し難い fact2: もし仮にこの二ブロックが継続し難いならば往生する fact3: この環境設計は開発業者だ fact4: 「開発業者な」物はある fact5: 何かは往生する fact6: 「往生するし勘当する」ものはある fact7: もしなんらかの物が開発業者であるししかも往生するとしたらこの売却処理は勘当する fact8: 「継続し難い」物はある fact9: もしもこの売却処理が勘当するならばあの環境設計はくよくよする fact10: この売却処理は往生する fact11: この二ブロックは開発業者だ fact12: もしもこの二ブロックが勘当するならばあの売却処理は開発業者だ fact13: もしもとある物が往生するということはないならくよくよしないかもしくはそれは継続し難いか両方ともだ
fact2 & fact1 -> int1: この二ブロックは往生する; int1 & fact11 -> int2: この二ブロックは開発業者でまた往生する; int2 -> int3: あるものが開発業者だしさらに往生する; int3 & fact7 -> int4: この売却処理は勘当する; int4 & fact9 -> hypothesis;
この環境設計はくよくよしない
fact14 -> int5: 仮にこの二ブロックが往生しないならそれはくよくよしないか継続し難いかもしくはどちらもだ;
$facts$ = fact1: この二ブロックは継続し難い fact2: もし仮にこの二ブロックが継続し難いならば往生する fact3: この環境設計は開発業者だ fact4: 「開発業者な」物はある fact5: 何かは往生する fact6: 「往生するし勘当する」ものはある fact7: もしなんらかの物が開発業者であるししかも往生するとしたらこの売却処理は勘当する fact8: 「継続し難い」物はある fact9: もしもこの売却処理が勘当するならばあの環境設計はくよくよする fact10: この売却処理は往生する fact11: この二ブロックは開発業者だ fact12: もしもこの二ブロックが勘当するならばあの売却処理は開発業者だ fact13: もしもとある物が往生するということはないならくよくよしないかもしくはそれは継続し難いか両方ともだ ; $hypothesis$ = この環境設計はくよくよしない ; $proof$ = 
fact2 & fact1 -> int1: この二ブロックは往生する; int1 & fact11 -> int2: この二ブロックは開発業者でまた往生する; int2 -> int3: あるものが開発業者だしさらに往生する; int3 & fact7 -> int4: この売却処理は勘当する; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: この二ブロックは継続し難い
事実2: もし仮にこの二ブロックが継続し難いならば往生する
事実3: この環境設計は開発業者だ
事実4: 「開発業者な」物はある
事実5: 何かは往生する
事実6: 「往生するし勘当する」ものはある
事実7: もしなんらかの物が開発業者であるししかも往生するとしたらこの売却処理は勘当する
事実8: 「継続し難い」物はある
事実9: もしもこの売却処理が勘当するならばあの環境設計はくよくよする
事実10: この売却処理は往生する
事実11: この二ブロックは開発業者だ
事実12: もしもこの二ブロックが勘当するならばあの売却処理は開発業者だ
事実13: もしもとある物が往生するということはないならくよくよしないかもしくはそれは継続し難いか両方ともだ

仮説: この環境設計はくよくよしない
1. 事実2と事実1から、推論1: "この二ブロックは往生する"が導かれる
2. 推論1と事実11から、推論2: "この二ブロックは開発業者でまた往生する"が導かれる
3. 推論2から、推論3: "あるものが開発業者だしさらに往生する"が導かれる
4. 推論3と事実7から、推論4: "この売却処理は勘当する"が導かれる
5. 推論4と事実9から、仮説が否定される

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