あの流罪は御真木である
fact1: あの全能性は久しくないなら「あの十町単位は政府管掌健康保険でない」ということは正しい fact2: もしあの全能性が勧めないし加えて政府管掌健康保険でないならばあの十町単位は久しくない fact3: 仮にあの十町単位が久しくないとすればあの全能性は見越さない fact4: あの流罪が勧めないならばあの十町単位は御真木である fact5: あの全能性は見越さなくて華々しくない fact6: あの流罪が勧めないとすればあの十町単位は政府管掌健康保険でない fact7: あの全能性が剥はせらないかあるいはそれは久しいということはないかもしくは両方である fact8: あの十町単位は見越さない fact9: あの十町単位が見越さないならばあの流罪は勧める fact10: 仮にあの全能性は勧めるがしかしそれは見越すということはないならば「あの十町単位が剥はせらない」ということは事実だ fact11: あの流罪が見越さないし加えて勧めないならばあの十町単位は御真木でない fact12: もし仮にあの全能性が剥がせらないとするとあの十町単位は政府管掌健康保険でない fact13: もしもあの十町単位が勧めないし加えてそれが見越さないならあの流罪は御真木でない fact14: 仮にあの流罪が久しくないがしかしそれが政府管掌健康保険であるならばあの全能性は御真木でない fact15: 「もしもあの流罪が勧める一方で見越さないとするとあの十町単位は御真木でない」ということは成り立つ fact16: もしも「あの十町単位は久しくない」ということは事実だとしたらあの全能性は勧める fact17: あの流罪は久しくない fact18: もし仮にあの全能性が見越すということはないがそれが勧めるならあの十町単位が剥はせらない fact19: もし仮にあの流罪が政府管掌健康保険であるということはないならばあの十町単位は御真木でない fact20: 仮になにがしかの物は政府管掌健康保険でないならば勧めないし見越さない fact21: あの十町単位は見越さないしそれは剥がせるということはない fact22: 仮にあの十町単位が剥がせらないとすればあの全能性は勧めない
fact7 & fact12 & fact1 -> int1: あの十町単位は政府管掌健康保険でない; fact20 -> int2: もしあの十町単位が政府管掌健康保険でないならそれは勧めないしそれは見越すということはない; int1 & int2 -> int3: あの十町単位は勧めないしそれは見越さない; int3 & fact13 -> hypothesis;
fact7 & fact12 & fact1 -> int1: ¬{C}{c}; fact20 -> int2: ¬{C}{c} -> (¬{D}{c} & ¬{E}{c}); int1 & int2 -> int3: (¬{D}{c} & ¬{E}{c}); int3 & fact13 -> hypothesis;
$facts$ = fact1: あの全能性は久しくないなら「あの十町単位は政府管掌健康保険でない」ということは正しい fact2: もしあの全能性が勧めないし加えて政府管掌健康保険でないならばあの十町単位は久しくない fact3: 仮にあの十町単位が久しくないとすればあの全能性は見越さない fact4: あの流罪が勧めないならばあの十町単位は御真木である fact5: あの全能性は見越さなくて華々しくない fact6: あの流罪が勧めないとすればあの十町単位は政府管掌健康保険でない fact7: あの全能性が剥はせらないかあるいはそれは久しいということはないかもしくは両方である fact8: あの十町単位は見越さない fact9: あの十町単位が見越さないならばあの流罪は勧める fact10: 仮にあの全能性は勧めるがしかしそれは見越すということはないならば「あの十町単位が剥はせらない」ということは事実だ fact11: あの流罪が見越さないし加えて勧めないならばあの十町単位は御真木でない fact12: もし仮にあの全能性が剥がせらないとするとあの十町単位は政府管掌健康保険でない fact13: もしもあの十町単位が勧めないし加えてそれが見越さないならあの流罪は御真木でない fact14: 仮にあの流罪が久しくないがしかしそれが政府管掌健康保険であるならばあの全能性は御真木でない fact15: 「もしもあの流罪が勧める一方で見越さないとするとあの十町単位は御真木でない」ということは成り立つ fact16: もしも「あの十町単位は久しくない」ということは事実だとしたらあの全能性は勧める fact17: あの流罪は久しくない fact18: もし仮にあの全能性が見越すということはないがそれが勧めるならあの十町単位が剥はせらない fact19: もし仮にあの流罪が政府管掌健康保険であるということはないならばあの十町単位は御真木でない fact20: 仮になにがしかの物は政府管掌健康保険でないならば勧めないし見越さない fact21: あの十町単位は見越さないしそれは剥がせるということはない fact22: 仮にあの十町単位が剥がせらないとすればあの全能性は勧めない ; $hypothesis$ = あの流罪は御真木である ; $proof$ = 
fact7 & fact12 & fact1 -> int1: あの十町単位は政府管掌健康保険でない; fact20 -> int2: もしあの十町単位が政府管掌健康保険でないならそれは勧めないしそれは見越すということはない; int1 & int2 -> int3: あの十町単位は勧めないしそれは見越さない; int3 & fact13 -> hypothesis; __DISPROVED__
事実1: あの全能性は久しくないなら「あの十町単位は政府管掌健康保険でない」ということは正しい
事実2: もしあの全能性が勧めないし加えて政府管掌健康保険でないならばあの十町単位は久しくない
事実3: 仮にあの十町単位が久しくないとすればあの全能性は見越さない
事実4: あの流罪が勧めないならばあの十町単位は御真木である
事実5: あの全能性は見越さなくて華々しくない
事実6: あの流罪が勧めないとすればあの十町単位は政府管掌健康保険でない
事実7: あの全能性が剥はせらないかあるいはそれは久しいということはないかもしくは両方である
事実8: あの十町単位は見越さない
事実9: あの十町単位が見越さないならばあの流罪は勧める
事実10: 仮にあの全能性は勧めるがしかしそれは見越すということはないならば「あの十町単位が剥はせらない」ということは事実だ
事実11: あの流罪が見越さないし加えて勧めないならばあの十町単位は御真木でない
事実12: もし仮にあの全能性が剥がせらないとするとあの十町単位は政府管掌健康保険でない
事実13: もしもあの十町単位が勧めないし加えてそれが見越さないならあの流罪は御真木でない
事実14: 仮にあの流罪が久しくないがしかしそれが政府管掌健康保険であるならばあの全能性は御真木でない
事実15: 「もしもあの流罪が勧める一方で見越さないとするとあの十町単位は御真木でない」ということは成り立つ
事実16: もしも「あの十町単位は久しくない」ということは事実だとしたらあの全能性は勧める
事実17: あの流罪は久しくない
事実18: もし仮にあの全能性が見越すということはないがそれが勧めるならあの十町単位が剥はせらない
事実19: もし仮にあの流罪が政府管掌健康保険であるということはないならばあの十町単位は御真木でない
事実20: 仮になにがしかの物は政府管掌健康保険でないならば勧めないし見越さない
事実21: あの十町単位は見越さないしそれは剥がせるということはない
事実22: 仮にあの十町単位が剥がせらないとすればあの全能性は勧めない

仮説: あの流罪は御真木である
1. 事実7と事実12と事実1から、推論1: "あの十町単位は政府管掌健康保険でない"が導かれる
2. 事実20から、推論2: "もしあの十町単位が政府管掌健康保険でないならそれは勧めないしそれは見越すということはない"が導かれる
3. 推論1と推論2から、推論3: "あの十町単位は勧めないしそれは見越さない"が導かれる
4. 推論3と事実13から、仮説が否定される

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