「あの信組はクリーンヒットしないけどそれは伝え続ける」ということは間違いである
fact1: この施設制度は伝え続けないなら「あの信組はクリーンヒットしないけれどそれは伝え続ける」ということは誤りだ fact2: この円周上は移り易い fact3: もしもこの円周上が有り触れないが移り易いとすればこの施設制度は伝え続けない fact4: もし「この円周上は有り触れる」ということは事実ならその纏は移り易いかあるいはクリーンヒットしないかあるいはどちらもだ fact5: もし「あの信組は忘れ易い」ということは真実であるならばあの施設制度は忘れ易い fact6: 「ファイル交換ネットワークだししかも御恥ずかしい」物はある fact7: もしなにがしかの物が移り易いかそれはクリーンヒットしないかもしくは両方ともであるならばそれはクリーンヒットするということはない fact8: もしもなんらかの物が犯し始めないとすればそれは伝え続けるということはないしおまけにそれは有り触れる fact9: もし何らかの物は忘れ易いとしたら「狡賢くてそれは実行し易くない」ということは誤りである fact10: この円周上は有り触れない fact11: 「なにかは狡賢いがそれは実行し易いということはない」ということは事実と異なるとすればＩ先生でない fact12: この異常所見は有り触れない fact13: もしこの施設制度がＩ先生でないとしたらこの円周上は犯し始めるということはない
fact10 & fact2 -> int1: 「この円周上は有り触れないけれど移り易い」ということは事実である; int1 & fact3 -> int2: この施設制度は伝え続けない; int2 & fact1 -> hypothesis;
その纏はクリーンヒットしない
fact20 -> int3: 仮にその纏は移り易いかもしくはクリーンヒットしないかもしくは両方ともだとすればクリーンヒットしない; fact18 -> int4: 仮にこの円周上が犯し始めないとするとそれは伝え続けないが有り触れる; fact17 -> int5: 「この施設制度は狡賢いがしかしそれは実行し易くない」ということは間違いであるとするとそれはＩ先生でない; fact21 -> int6: もしこの施設制度は忘れ易いとすると「狡賢いがしかし実行し易くない」ということは間違いだ;
$facts$ = fact1: この施設制度は伝え続けないなら「あの信組はクリーンヒットしないけれどそれは伝え続ける」ということは誤りだ fact2: この円周上は移り易い fact3: もしもこの円周上が有り触れないが移り易いとすればこの施設制度は伝え続けない fact4: もし「この円周上は有り触れる」ということは事実ならその纏は移り易いかあるいはクリーンヒットしないかあるいはどちらもだ fact5: もし「あの信組は忘れ易い」ということは真実であるならばあの施設制度は忘れ易い fact6: 「ファイル交換ネットワークだししかも御恥ずかしい」物はある fact7: もしなにがしかの物が移り易いかそれはクリーンヒットしないかもしくは両方ともであるならばそれはクリーンヒットするということはない fact8: もしもなんらかの物が犯し始めないとすればそれは伝え続けるということはないしおまけにそれは有り触れる fact9: もし何らかの物は忘れ易いとしたら「狡賢くてそれは実行し易くない」ということは誤りである fact10: この円周上は有り触れない fact11: 「なにかは狡賢いがそれは実行し易いということはない」ということは事実と異なるとすればＩ先生でない fact12: この異常所見は有り触れない fact13: もしこの施設制度がＩ先生でないとしたらこの円周上は犯し始めるということはない ; $hypothesis$ = 「あの信組はクリーンヒットしないけどそれは伝え続ける」ということは間違いである ; $proof$ = 
fact10 & fact2 -> int1: 「この円周上は有り触れないけれど移り易い」ということは事実である; int1 & fact3 -> int2: この施設制度は伝え続けない; int2 & fact1 -> hypothesis; __PROVED__
事実1: この施設制度は伝え続けないなら「あの信組はクリーンヒットしないけれどそれは伝え続ける」ということは誤りだ
事実2: この円周上は移り易い
事実3: もしもこの円周上が有り触れないが移り易いとすればこの施設制度は伝え続けない
事実4: もし「この円周上は有り触れる」ということは事実ならその纏は移り易いかあるいはクリーンヒットしないかあるいはどちらもだ
事実5: もし「あの信組は忘れ易い」ということは真実であるならばあの施設制度は忘れ易い
事実6: 「ファイル交換ネットワークだししかも御恥ずかしい」物はある
事実7: もしなにがしかの物が移り易いかそれはクリーンヒットしないかもしくは両方ともであるならばそれはクリーンヒットするということはない
事実8: もしもなんらかの物が犯し始めないとすればそれは伝え続けるということはないしおまけにそれは有り触れる
事実9: もし何らかの物は忘れ易いとしたら「狡賢くてそれは実行し易くない」ということは誤りである
事実10: この円周上は有り触れない
事実11: 「なにかは狡賢いがそれは実行し易いということはない」ということは事実と異なるとすればＩ先生でない
事実12: この異常所見は有り触れない
事実13: もしこの施設制度がＩ先生でないとしたらこの円周上は犯し始めるということはない

仮説: 「あの信組はクリーンヒットしないけどそれは伝え続ける」ということは間違いである
1. 事実10と事実2から、推論1: "「この円周上は有り触れないけれど移り易い」ということは事実である"が導かれる
2. 推論1と事実3から、推論2: "この施設制度は伝え続けない"が導かれる
3. 推論2と事実1から、仮説が導かれる

よって、仮説が証明されました。