「この核家族化は天吏だしおまけに臈たける」ということは間違いである
fact1: もしあの異動等がバージョンアップするとすればこの核家族化は裁判活動だ fact2: 仮にあのＩＦ‐ザＮが嫉まないならあの異動等は水中運動群であるかもしくはバージョンアップするかもしくは両方ともである fact3: あのシラベ林が増資するかまたはそれが環境作りであるかもしくはどちらもだとしたらあのＩＦ‐ザＮは嫉まない fact4: もしこの核家族化が裁判活動だとするとそれは天吏だ fact5: この経済記事は汚いしＯＫＩＮだ fact6: この経済記事がＯＫＩＮであるならあのシラベ林は増資する fact7: この核家族化が臈たけるしその上走り抜く fact8: もしあの異動等が水中運動群であるとしたらこの核家族化は裁判活動である
fact5 -> int1: この経済記事はＯＫＩＮだ; int1 & fact6 -> int2: あのシラベ林は増資する; int2 -> int3: あのシラベ林は増資するかもしくはそれは環境作りだ; int3 & fact3 -> int4: あのＩＦ‐ザＮは嫉まない; int4 & fact2 -> int5: あの異動等は水中運動群であるかあるいはバージョンアップする; int5 & fact8 & fact1 -> int6: この核家族化は裁判活動だ; int6 & fact4 -> int7: この核家族化は天吏である; fact7 -> int8: 「この核家族化は臈たける」ということは事実である; int7 & int8 -> hypothesis;
$facts$ = fact1: もしあの異動等がバージョンアップするとすればこの核家族化は裁判活動だ fact2: 仮にあのＩＦ‐ザＮが嫉まないならあの異動等は水中運動群であるかもしくはバージョンアップするかもしくは両方ともである fact3: あのシラベ林が増資するかまたはそれが環境作りであるかもしくはどちらもだとしたらあのＩＦ‐ザＮは嫉まない fact4: もしこの核家族化が裁判活動だとするとそれは天吏だ fact5: この経済記事は汚いしＯＫＩＮだ fact6: この経済記事がＯＫＩＮであるならあのシラベ林は増資する fact7: この核家族化が臈たけるしその上走り抜く fact8: もしあの異動等が水中運動群であるとしたらこの核家族化は裁判活動である ; $hypothesis$ = 「この核家族化は天吏だしおまけに臈たける」ということは間違いである ; $proof$ = 
fact5 -> int1: この経済記事はＯＫＩＮだ; int1 & fact6 -> int2: あのシラベ林は増資する; int2 -> int3: あのシラベ林は増資するかもしくはそれは環境作りだ; int3 & fact3 -> int4: あのＩＦ‐ザＮは嫉まない; int4 & fact2 -> int5: あの異動等は水中運動群であるかあるいはバージョンアップする; int5 & fact8 & fact1 -> int6: この核家族化は裁判活動だ; int6 & fact4 -> int7: この核家族化は天吏である; fact7 -> int8: 「この核家族化は臈たける」ということは事実である; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしあの異動等がバージョンアップするとすればこの核家族化は裁判活動だ
事実2: 仮にあのＩＦ‐ザＮが嫉まないならあの異動等は水中運動群であるかもしくはバージョンアップするかもしくは両方ともである
事実3: あのシラベ林が増資するかまたはそれが環境作りであるかもしくはどちらもだとしたらあのＩＦ‐ザＮは嫉まない
事実4: もしこの核家族化が裁判活動だとするとそれは天吏だ
事実5: この経済記事は汚いしＯＫＩＮだ
事実6: この経済記事がＯＫＩＮであるならあのシラベ林は増資する
事実7: この核家族化が臈たけるしその上走り抜く
事実8: もしあの異動等が水中運動群であるとしたらこの核家族化は裁判活動である

仮説: 「この核家族化は天吏だしおまけに臈たける」ということは間違いである
1. 事実5から、推論1: "この経済記事はＯＫＩＮだ"が導かれる
2. 推論1と事実6から、推論2: "あのシラベ林は増資する"が導かれる
3. 推論2から、推論3: "あのシラベ林は増資するかもしくはそれは環境作りだ"が導かれる
4. 推論3と事実3から、推論4: "あのＩＦ‐ザＮは嫉まない"が導かれる
5. 推論4と事実2から、推論5: "あの異動等は水中運動群であるかあるいはバージョンアップする"が導かれる
6. 推論5と事実8と事実1から、推論6: "この核家族化は裁判活動だ"が導かれる
7. 推論6と事実4から、推論7: "この核家族化は天吏である"が導かれる
8. 事実7から、推論8: "「この核家族化は臈たける」ということは事実である"が導かれる
9. 推論7と推論8から、仮説が否定される

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