「あの薬物犯罪はＩＲＢ職員でなくて更に市場調査でない」ということは正しくない
fact1: もしもなにがしかのものが育成するかあるいは不安だということはないならばそれは睡眠剤でない fact2: そのカンフーは偵察するしそれはラップタイムである fact3: もしその難病者が培地表面ならそれは睡眠剤である fact4: もしその難病者がＩＲＢ職員であるとしたらそれは育成するかもしくは不安である fact5: ＩＲＢ職員は育成するか不安であるかまたは両方ともである fact6: 仮になにかは不安でないとしたら睡眠剤でない fact7: ＩＲＢ職員は育成するかまたは不安であるということはない fact8: 「あの薬物犯罪はＩＲＢ職員であるけれどそれは市場調査でない」ということは偽である fact9: もしもその難病者はＩＲＢ職員でないとすれば「あの薬物犯罪はＩＲＢ職員でないけどそれは市場調査だ」ということは成り立たない fact10: もし仮にその難病者はラップタイムでないならば「そのカンフーはラップタイムでないけれど睡眠剤だ」ということは成り立たない fact11: もし仮にその難病者はＩＲＢ職員でないとすると「あの薬物犯罪はＩＲＢ職員である一方で市場調査でない」ということは正しくない fact12: もしそのカンフーが偵察するとしたらその難病者は培地表面である fact13: もし仮にその難病者は不安でないなら睡眠剤でない fact14: その難病者はＩＲＢ職員でないとすれば「あの薬物犯罪はＩＲＢ職員でなくてその上市場調査でない」ということは成り立たない
fact7 -> int1: もしその難病者がＩＲＢ職員ならば育成するかもしくはそれは不安でないかまたは両方ともである; void -> assump1: 以下のように仮定する。その難病者はＩＲＢ職員だ; int1 & assump1 -> int2: 「その難病者は育成するかあるいはそれは不安でないかどちらもだ」ということは確かである; fact1 -> int3: 仮にその難病者が育成するかあるいはそれは不安でないとすると「それは睡眠剤であるということはない」ということは確かである; int2 & int3 -> int4: その難病者は睡眠剤でない; fact2 -> int5: そのカンフーは偵察する; int5 & fact12 -> int6: その難病者は培地表面だ; int6 & fact3 -> int7: その難病者は睡眠剤だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その難病者はＩＲＢ職員でない; int9 & fact14 -> hypothesis;
$facts$ = fact1: もしもなにがしかのものが育成するかあるいは不安だということはないならばそれは睡眠剤でない fact2: そのカンフーは偵察するしそれはラップタイムである fact3: もしその難病者が培地表面ならそれは睡眠剤である fact4: もしその難病者がＩＲＢ職員であるとしたらそれは育成するかもしくは不安である fact5: ＩＲＢ職員は育成するか不安であるかまたは両方ともである fact6: 仮になにかは不安でないとしたら睡眠剤でない fact7: ＩＲＢ職員は育成するかまたは不安であるということはない fact8: 「あの薬物犯罪はＩＲＢ職員であるけれどそれは市場調査でない」ということは偽である fact9: もしもその難病者はＩＲＢ職員でないとすれば「あの薬物犯罪はＩＲＢ職員でないけどそれは市場調査だ」ということは成り立たない fact10: もし仮にその難病者はラップタイムでないならば「そのカンフーはラップタイムでないけれど睡眠剤だ」ということは成り立たない fact11: もし仮にその難病者はＩＲＢ職員でないとすると「あの薬物犯罪はＩＲＢ職員である一方で市場調査でない」ということは正しくない fact12: もしそのカンフーが偵察するとしたらその難病者は培地表面である fact13: もし仮にその難病者は不安でないなら睡眠剤でない fact14: その難病者はＩＲＢ職員でないとすれば「あの薬物犯罪はＩＲＢ職員でなくてその上市場調査でない」ということは成り立たない ; $hypothesis$ = 「あの薬物犯罪はＩＲＢ職員でなくて更に市場調査でない」ということは正しくない ; $proof$ = 
fact7 -> int1: もしその難病者がＩＲＢ職員ならば育成するかもしくはそれは不安でないかまたは両方ともである; void -> assump1: 以下のように仮定する。その難病者はＩＲＢ職員だ; int1 & assump1 -> int2: 「その難病者は育成するかあるいはそれは不安でないかどちらもだ」ということは確かである; fact1 -> int3: 仮にその難病者が育成するかあるいはそれは不安でないとすると「それは睡眠剤であるということはない」ということは確かである; int2 & int3 -> int4: その難病者は睡眠剤でない; fact2 -> int5: そのカンフーは偵察する; int5 & fact12 -> int6: その難病者は培地表面だ; int6 & fact3 -> int7: その難病者は睡眠剤だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その難病者はＩＲＢ職員でない; int9 & fact14 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが育成するかあるいは不安だということはないならばそれは睡眠剤でない
事実2: そのカンフーは偵察するしそれはラップタイムである
事実3: もしその難病者が培地表面ならそれは睡眠剤である
事実4: もしその難病者がＩＲＢ職員であるとしたらそれは育成するかもしくは不安である
事実5: ＩＲＢ職員は育成するか不安であるかまたは両方ともである
事実6: 仮になにかは不安でないとしたら睡眠剤でない
事実7: ＩＲＢ職員は育成するかまたは不安であるということはない
事実8: 「あの薬物犯罪はＩＲＢ職員であるけれどそれは市場調査でない」ということは偽である
事実9: もしもその難病者はＩＲＢ職員でないとすれば「あの薬物犯罪はＩＲＢ職員でないけどそれは市場調査だ」ということは成り立たない
事実10: もし仮にその難病者はラップタイムでないならば「そのカンフーはラップタイムでないけれど睡眠剤だ」ということは成り立たない
事実11: もし仮にその難病者はＩＲＢ職員でないとすると「あの薬物犯罪はＩＲＢ職員である一方で市場調査でない」ということは正しくない
事実12: もしそのカンフーが偵察するとしたらその難病者は培地表面である
事実13: もし仮にその難病者は不安でないなら睡眠剤でない
事実14: その難病者はＩＲＢ職員でないとすれば「あの薬物犯罪はＩＲＢ職員でなくてその上市場調査でない」ということは成り立たない

仮説: 「あの薬物犯罪はＩＲＢ職員でなくて更に市場調査でない」ということは正しくない
1. 事実7から、推論1: "もしその難病者がＩＲＢ職員ならば育成するかもしくはそれは不安でないかまたは両方ともである"が導かれる
2. 仮定1: 以下のように仮定する。その難病者はＩＲＢ職員だ
3. 推論1と仮定1から、推論2: "「その難病者は育成するかあるいはそれは不安でないかどちらもだ」ということは確かである"が導かれる
4. 事実1から、推論3: "仮にその難病者が育成するかあるいはそれは不安でないとすると「それは睡眠剤であるということはない」ということは確かである"が導かれる
5. 推論2と推論3から、推論4: "その難病者は睡眠剤でない"が導かれる
6. 事実2から、推論5: "そのカンフーは偵察する"が導かれる
7. 推論5と事実12から、推論6: "その難病者は培地表面だ"が導かれる
8. 推論6と事実3から、推論7: "その難病者は睡眠剤だ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その難病者はＩＲＢ職員でない"が導かれる
11. 推論9と事実14から、仮説が導かれる

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