あの軍国は塩揉みするということはない
fact1: このアイヌ・ウエペケレはまびかない fact2: その華僑はまびかない fact3: もしこの教団施設は準拠するなら「南蛮渡来だけど捕らわれ易いということはない」ということは間違いである fact4: 仮にあの軍国が任せ切らないとすればアイＳでない fact5: もしあの軍国はアイＳでなくて心許なくないとすればそれは塩揉みするということはない fact6: 仮にこの冷やが起き上がらないがしかしそれが心許ないとするとそれは任せ切らない fact7: もし仮にあの二次形式はアイＳだとしたら「この通園は任せ切るがしかし起き上がらない」ということは成り立たない fact8: 「なにがしかの物は南蛮渡来だけれど捕らわれ易くない」ということは偽ならばそれは南蛮渡来でない fact9: 仮にその華僑がまびけばあの軍国は塩揉みする fact10: 「その華僑はまびかない」ということは事実であるならばこの通園は親しみ易いが吐き出さない fact11: もしこの通園が親しみ易いならあの二次形式は親しみ易いけど起き上がらない fact12: あの軍国は心許なくない fact13: もし仮にこの教団施設は南蛮渡来でないとしたら「あの二次形式はアイＳで心許ない」ということは成り立つ fact14: 仮にあの二次形式が親しみ易いけど起き上がるということはないとしたらあの軍国は任せ切らない
fact10 & fact2 -> int1: この通園は親しみ易いが吐き出さない; int1 -> int2: 「この通園は親しみ易い」ということは成り立つ; int2 & fact11 -> int3: あの二次形式は親しみ易いけれど起き上がらない; int3 & fact14 -> int4: あの軍国は任せ切るということはない; int4 & fact4 -> int5: あの軍国はアイＳでない; int5 & fact12 -> int6: あの軍国はアイＳでないしさらに心許なくない; int6 & fact5 -> hypothesis;
あの軍国は塩揉みする
fact15 -> int7: もし仮に「この教団施設は南蛮渡来だがしかし捕らわれ易くない」ということは成り立たないとすると南蛮渡来でない;
$facts$ = fact1: このアイヌ・ウエペケレはまびかない fact2: その華僑はまびかない fact3: もしこの教団施設は準拠するなら「南蛮渡来だけど捕らわれ易いということはない」ということは間違いである fact4: 仮にあの軍国が任せ切らないとすればアイＳでない fact5: もしあの軍国はアイＳでなくて心許なくないとすればそれは塩揉みするということはない fact6: 仮にこの冷やが起き上がらないがしかしそれが心許ないとするとそれは任せ切らない fact7: もし仮にあの二次形式はアイＳだとしたら「この通園は任せ切るがしかし起き上がらない」ということは成り立たない fact8: 「なにがしかの物は南蛮渡来だけれど捕らわれ易くない」ということは偽ならばそれは南蛮渡来でない fact9: 仮にその華僑がまびけばあの軍国は塩揉みする fact10: 「その華僑はまびかない」ということは事実であるならばこの通園は親しみ易いが吐き出さない fact11: もしこの通園が親しみ易いならあの二次形式は親しみ易いけど起き上がらない fact12: あの軍国は心許なくない fact13: もし仮にこの教団施設は南蛮渡来でないとしたら「あの二次形式はアイＳで心許ない」ということは成り立つ fact14: 仮にあの二次形式が親しみ易いけど起き上がるということはないとしたらあの軍国は任せ切らない ; $hypothesis$ = あの軍国は塩揉みするということはない ; $proof$ = 
fact10 & fact2 -> int1: この通園は親しみ易いが吐き出さない; int1 -> int2: 「この通園は親しみ易い」ということは成り立つ; int2 & fact11 -> int3: あの二次形式は親しみ易いけれど起き上がらない; int3 & fact14 -> int4: あの軍国は任せ切るということはない; int4 & fact4 -> int5: あの軍国はアイＳでない; int5 & fact12 -> int6: あの軍国はアイＳでないしさらに心許なくない; int6 & fact5 -> hypothesis; __PROVED__
事実1: このアイヌ・ウエペケレはまびかない
事実2: その華僑はまびかない
事実3: もしこの教団施設は準拠するなら「南蛮渡来だけど捕らわれ易いということはない」ということは間違いである
事実4: 仮にあの軍国が任せ切らないとすればアイＳでない
事実5: もしあの軍国はアイＳでなくて心許なくないとすればそれは塩揉みするということはない
事実6: 仮にこの冷やが起き上がらないがしかしそれが心許ないとするとそれは任せ切らない
事実7: もし仮にあの二次形式はアイＳだとしたら「この通園は任せ切るがしかし起き上がらない」ということは成り立たない
事実8: 「なにがしかの物は南蛮渡来だけれど捕らわれ易くない」ということは偽ならばそれは南蛮渡来でない
事実9: 仮にその華僑がまびけばあの軍国は塩揉みする
事実10: 「その華僑はまびかない」ということは事実であるならばこの通園は親しみ易いが吐き出さない
事実11: もしこの通園が親しみ易いならあの二次形式は親しみ易いけど起き上がらない
事実12: あの軍国は心許なくない
事実13: もし仮にこの教団施設は南蛮渡来でないとしたら「あの二次形式はアイＳで心許ない」ということは成り立つ
事実14: 仮にあの二次形式が親しみ易いけど起き上がるということはないとしたらあの軍国は任せ切らない

仮説: あの軍国は塩揉みするということはない
1. 事実10と事実2から、推論1: "この通園は親しみ易いが吐き出さない"が導かれる
2. 推論1から、推論2: "「この通園は親しみ易い」ということは成り立つ"が導かれる
3. 推論2と事実11から、推論3: "あの二次形式は親しみ易いけれど起き上がらない"が導かれる
4. 推論3と事実14から、推論4: "あの軍国は任せ切るということはない"が導かれる
5. 推論4と事実4から、推論5: "あの軍国はアイＳでない"が導かれる
6. 推論5と事実12から、推論6: "あの軍国はアイＳでないしさらに心許なくない"が導かれる
7. 推論6と事実5から、仮説が導かれる

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