この下着類は陸軍大学校でない
fact1: もしこの病後が心強いならその人事異動は存置するけれど乗っけるということはない fact2: もしも「「発令しないしかつ飛び立たない」ということは間違っている」物があるとするとその人事異動は発令する fact3: 「「顕在化し易いけど褐変しない」ということは事実でない」ものがあるとすればこの会計理論上は顕在化し易いということはない fact4: もしも「百字な」ものはあるとしたら「この病後は心強くないけれど陸軍大学校だ」ということは偽だ fact5: 仮にこの会計理論上が顕在化し易いとしたらその人事異動は顕在化し易くない fact6: 心強い物は陸軍大学校だということはない fact7: 仮にこの病後が心強いとしたらその人事異動は存置する fact8: もしなにかは発令するとすれば「百字だということはないし加えて空々しかない」ということは本当でない fact9: もし仮にその人事異動が空々しいとしたらこの病後は発令するということはない fact10: 仮に顕在化し易くないものはあるとすれば「この下着類は発令しなくて飛び立たない」ということは嘘だ fact11: 「「顕在化し易くてかつ褐変しない」ということは本当だということはない」物はある fact12: 仮にその人事異動は顕在化し易くないならそれは空々しいし飛び立つ fact13: とあるものは設立であるとするとそれは心強い fact14: もしも「なにがしかのものは百字であるということはないしまた空々しいということはない」ということは成り立たないならばそれは百字である fact15: もしもなにがしかの物が存置する一方でそれが乗っけないとするとそれは設立だ fact16: この病後は心強い fact17: その人事異動は存置する fact18: もし仮にこの病後が発令するということはないならこの下着類は設立で更に百字である fact19: その人事異動が設立ならばこの下着類は陸軍大学校だ fact20: もし仮に「「心強くないしさらに陸軍大学校である」ということは事実と異なる」物があるならあの盗塁は設立だ
fact1 & fact16 -> int1: その人事異動は存置するがそれは乗っけない; fact15 -> int2: その人事異動が存置するけど乗っけないならば設立である; int1 & int2 -> int3: その人事異動は設立である; int3 & fact19 -> hypothesis;
fact1 & fact16 -> int1: ({AA}{b} & ¬{AB}{b}); fact15 -> int2: ({AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; int3 & fact19 -> hypothesis;
この下着類は陸軍大学校でない
fact25 -> int4: 仮にこの下着類が心強いとすると陸軍大学校でない; fact22 -> int5: 「もし仮にこの下着類が設立であるならこの下着類は心強い」ということは真実である;
$facts$ = fact1: もしこの病後が心強いならその人事異動は存置するけれど乗っけるということはない fact2: もしも「「発令しないしかつ飛び立たない」ということは間違っている」物があるとするとその人事異動は発令する fact3: 「「顕在化し易いけど褐変しない」ということは事実でない」ものがあるとすればこの会計理論上は顕在化し易いということはない fact4: もしも「百字な」ものはあるとしたら「この病後は心強くないけれど陸軍大学校だ」ということは偽だ fact5: 仮にこの会計理論上が顕在化し易いとしたらその人事異動は顕在化し易くない fact6: 心強い物は陸軍大学校だということはない fact7: 仮にこの病後が心強いとしたらその人事異動は存置する fact8: もしなにかは発令するとすれば「百字だということはないし加えて空々しかない」ということは本当でない fact9: もし仮にその人事異動が空々しいとしたらこの病後は発令するということはない fact10: 仮に顕在化し易くないものはあるとすれば「この下着類は発令しなくて飛び立たない」ということは嘘だ fact11: 「「顕在化し易くてかつ褐変しない」ということは本当だということはない」物はある fact12: 仮にその人事異動は顕在化し易くないならそれは空々しいし飛び立つ fact13: とあるものは設立であるとするとそれは心強い fact14: もしも「なにがしかのものは百字であるということはないしまた空々しいということはない」ということは成り立たないならばそれは百字である fact15: もしもなにがしかの物が存置する一方でそれが乗っけないとするとそれは設立だ fact16: この病後は心強い fact17: その人事異動は存置する fact18: もし仮にこの病後が発令するということはないならこの下着類は設立で更に百字である fact19: その人事異動が設立ならばこの下着類は陸軍大学校だ fact20: もし仮に「「心強くないしさらに陸軍大学校である」ということは事実と異なる」物があるならあの盗塁は設立だ ; $hypothesis$ = この下着類は陸軍大学校でない ; $proof$ = 
fact1 & fact16 -> int1: その人事異動は存置するがそれは乗っけない; fact15 -> int2: その人事異動が存置するけど乗っけないならば設立である; int1 & int2 -> int3: その人事異動は設立である; int3 & fact19 -> hypothesis; __DISPROVED__
事実1: もしこの病後が心強いならその人事異動は存置するけれど乗っけるということはない
事実2: もしも「「発令しないしかつ飛び立たない」ということは間違っている」物があるとするとその人事異動は発令する
事実3: 「「顕在化し易いけど褐変しない」ということは事実でない」ものがあるとすればこの会計理論上は顕在化し易いということはない
事実4: もしも「百字な」ものはあるとしたら「この病後は心強くないけれど陸軍大学校だ」ということは偽だ
事実5: 仮にこの会計理論上が顕在化し易いとしたらその人事異動は顕在化し易くない
事実6: 心強い物は陸軍大学校だということはない
事実7: 仮にこの病後が心強いとしたらその人事異動は存置する
事実8: もしなにかは発令するとすれば「百字だということはないし加えて空々しかない」ということは本当でない
事実9: もし仮にその人事異動が空々しいとしたらこの病後は発令するということはない
事実10: 仮に顕在化し易くないものはあるとすれば「この下着類は発令しなくて飛び立たない」ということは嘘だ
事実11: 「「顕在化し易くてかつ褐変しない」ということは本当だということはない」物はある
事実12: 仮にその人事異動は顕在化し易くないならそれは空々しいし飛び立つ
事実13: とあるものは設立であるとするとそれは心強い
事実14: もしも「なにがしかのものは百字であるということはないしまた空々しいということはない」ということは成り立たないならばそれは百字である
事実15: もしもなにがしかの物が存置する一方でそれが乗っけないとするとそれは設立だ
事実16: この病後は心強い
事実17: その人事異動は存置する
事実18: もし仮にこの病後が発令するということはないならこの下着類は設立で更に百字である
事実19: その人事異動が設立ならばこの下着類は陸軍大学校だ
事実20: もし仮に「「心強くないしさらに陸軍大学校である」ということは事実と異なる」物があるならあの盗塁は設立だ

仮説: この下着類は陸軍大学校でない
1. 事実1と事実16から、推論1: "その人事異動は存置するがそれは乗っけない"が導かれる
2. 事実15から、推論2: "その人事異動が存置するけど乗っけないならば設立である"が導かれる
3. 推論1と推論2から、推論3: "その人事異動は設立である"が導かれる
4. 推論3と事実19から、仮説が否定される

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