あの日本外交は規則正しい
fact1: 仮に「その介護サービス基盤は植民するし加えて狙われ易い」ということは間違っているとしたらあの日本外交は規則正しいということはない fact2: あの日本外交はラジオ放送しない fact3: あの日本外交は戦略的情報システムでない fact4: 仮になにがしかの物が戦略的情報システムであるということはなくてかつラジオ放送するということはないとするとそれは植民しない fact5: とある物が植民しないとするとそれは狙われ易いということはないししかもそれは規則正しい fact6: そのカテゴリー間はラジオ放送しない
fact4 -> int1: もしあの日本外交は戦略的情報システムであるということはないしラジオ放送するということはないとしたら植民しない; fact3 & fact2 -> int2: あの日本外交は戦略的情報システムでないしさらにラジオ放送しない; int1 & int2 -> int3: あの日本外交は植民するということはない; fact5 -> int4: もし仮にあの日本外交が植民しないとするとそれは狙われ易くない一方で規則正しい; int3 & int4 -> int5: あの日本外交は狙われ易くないがしかしそれは規則正しい; int5 -> hypothesis;
あの日本外交は規則正しいということはない
$facts$ = fact1: 仮に「その介護サービス基盤は植民するし加えて狙われ易い」ということは間違っているとしたらあの日本外交は規則正しいということはない fact2: あの日本外交はラジオ放送しない fact3: あの日本外交は戦略的情報システムでない fact4: 仮になにがしかの物が戦略的情報システムであるということはなくてかつラジオ放送するということはないとするとそれは植民しない fact5: とある物が植民しないとするとそれは狙われ易いということはないししかもそれは規則正しい fact6: そのカテゴリー間はラジオ放送しない ; $hypothesis$ = あの日本外交は規則正しい ; $proof$ = 
fact4 -> int1: もしあの日本外交は戦略的情報システムであるということはないしラジオ放送するということはないとしたら植民しない; fact3 & fact2 -> int2: あの日本外交は戦略的情報システムでないしさらにラジオ放送しない; int1 & int2 -> int3: あの日本外交は植民するということはない; fact5 -> int4: もし仮にあの日本外交が植民しないとするとそれは狙われ易くない一方で規則正しい; int3 & int4 -> int5: あの日本外交は狙われ易くないがしかしそれは規則正しい; int5 -> hypothesis; __PROVED__
事実1: 仮に「その介護サービス基盤は植民するし加えて狙われ易い」ということは間違っているとしたらあの日本外交は規則正しいということはない
事実2: あの日本外交はラジオ放送しない
事実3: あの日本外交は戦略的情報システムでない
事実4: 仮になにがしかの物が戦略的情報システムであるということはなくてかつラジオ放送するということはないとするとそれは植民しない
事実5: とある物が植民しないとするとそれは狙われ易いということはないししかもそれは規則正しい
事実6: そのカテゴリー間はラジオ放送しない

仮説: あの日本外交は規則正しい
1. 事実4から、推論1: "もしあの日本外交は戦略的情報システムであるということはないしラジオ放送するということはないとしたら植民しない"が導かれる
2. 事実3と事実2から、推論2: "あの日本外交は戦略的情報システムでないしさらにラジオ放送しない"が導かれる
3. 推論1と推論2から、推論3: "あの日本外交は植民するということはない"が導かれる
4. 事実5から、推論4: "もし仮にあの日本外交が植民しないとするとそれは狙われ易くない一方で規則正しい"が導かれる
5. 推論3と推論4から、推論5: "あの日本外交は狙われ易くないがしかしそれは規則正しい"が導かれる
6. 推論5から、仮説が導かれる

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