この政権戦略は仲間らしくない
fact1: もしなにかは笑うとするとそれは仲間らしい fact2: なんらかの物が当該外国ならあの少年Ａは吐き続ける fact3: あの少年Ａは王太子様であるけど日本民族でない fact4: この御悲しみはしゃあ無い fact5: 仮にあの少年Ａが当該外国でないかあるいは仲間らしくないか両方だとすればあの大臣官房は仲間らしくない fact6: 仮になにがしかのものが笑わないけどそれが当該外国だとするとそれは圧搾でない fact7: あの大臣官房は債権者代位権だ fact8: もし「当該外国である」ものがあるならあの少年Ａは吐き続ける一方でそれは底堅いということはない fact9: そのルーティング情報は理解者であるけどそれは割れ易くない fact10: もし仮にそのルーティング情報が圧搾でないならばこの政権戦略は笑う fact11: 仮に「圧搾でない」ものがあるとすればあの大臣官房は請願集会だしそれに乗用車だ fact12: 仲間らしいものは高い fact13: あの大臣官房は請願集会であるしそれは高い fact14: あの少年Ａは笑う fact15: その物語世界は酸くてさらにそれは痩せ難い fact16: もし仮に何らかの物は模倣しないなら「高いが差し当たらない」ということは正しくない fact17: あの少年Ａは吐き続ける fact18: 仲間らしくない物は圧搾であるということはないかまたは笑わないかまたはどちらもだ fact19: もしなんらかの物は圧搾でないとしたら請願集会であるし乗用車だ fact20: もし仮に「あの大臣官房は乗用車であるということはない」ということは誤っていないならば「あの少年Ａは吐き続ける一方で底堅くない」ということは誤っている fact21: 仮にあの大臣官房が乗用車だし請願集会ならばそのルーティング情報は圧搾でない fact22: もしもあの大臣官房が底堅いしそれが仲間らしいならこの政権戦略は請願集会でない fact23: 「「当該外国である」ということは確かな」ものはある fact24: 仮にそのルーティング情報が高くないとすればあの少年Ａは当該外国であるということはないかまたはそれは仲間らしくないかあるいは両方である fact25: 仮に「なにかは高いが差し当たらない」ということは誤っているとしたらそれは笑わない fact26: この日本民主法律家協会は吐き続ける
void -> assump1: 以下のように仮定する。あの大臣官房は乗用車だということはない; fact20 & assump1 -> int1: 「あの少年Ａは吐き続けるがしかしそれは底堅くない」ということは事実と異なる; fact23 & fact8 -> int2: あの少年Ａは吐き続けるが底堅いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの大臣官房は乗用車である; fact13 -> int5: あの大臣官房は請願集会だ; int4 & int5 -> int6: あの大臣官房は乗用車であるしおまけに請願集会である; int6 & fact21 -> int7: そのルーティング情報は圧搾でない; int7 & fact10 -> int8: この政権戦略は笑う; fact1 -> int9: もしもこの政権戦略が笑うとすればそれは仲間らしい; int8 & int9 -> hypothesis;
この政権戦略は仲間らしくない
fact30 -> int10: もしあの少年Ａが笑わないけれどそれは当該外国であるとするとそれは圧搾であるということはない; fact28 -> int11: もし仮に「あの少年Ａは高いがしかし差し当たらない」ということは事実と異なるなら笑わない; fact29 -> int12: もしそのルーティング情報は模倣しないとすれば「高くてそれは差し当たらない」ということは成り立たない;
$facts$ = fact1: もしなにかは笑うとするとそれは仲間らしい fact2: なんらかの物が当該外国ならあの少年Ａは吐き続ける fact3: あの少年Ａは王太子様であるけど日本民族でない fact4: この御悲しみはしゃあ無い fact5: 仮にあの少年Ａが当該外国でないかあるいは仲間らしくないか両方だとすればあの大臣官房は仲間らしくない fact6: 仮になにがしかのものが笑わないけどそれが当該外国だとするとそれは圧搾でない fact7: あの大臣官房は債権者代位権だ fact8: もし「当該外国である」ものがあるならあの少年Ａは吐き続ける一方でそれは底堅いということはない fact9: そのルーティング情報は理解者であるけどそれは割れ易くない fact10: もし仮にそのルーティング情報が圧搾でないならばこの政権戦略は笑う fact11: 仮に「圧搾でない」ものがあるとすればあの大臣官房は請願集会だしそれに乗用車だ fact12: 仲間らしいものは高い fact13: あの大臣官房は請願集会であるしそれは高い fact14: あの少年Ａは笑う fact15: その物語世界は酸くてさらにそれは痩せ難い fact16: もし仮に何らかの物は模倣しないなら「高いが差し当たらない」ということは正しくない fact17: あの少年Ａは吐き続ける fact18: 仲間らしくない物は圧搾であるということはないかまたは笑わないかまたはどちらもだ fact19: もしなんらかの物は圧搾でないとしたら請願集会であるし乗用車だ fact20: もし仮に「あの大臣官房は乗用車であるということはない」ということは誤っていないならば「あの少年Ａは吐き続ける一方で底堅くない」ということは誤っている fact21: 仮にあの大臣官房が乗用車だし請願集会ならばそのルーティング情報は圧搾でない fact22: もしもあの大臣官房が底堅いしそれが仲間らしいならこの政権戦略は請願集会でない fact23: 「「当該外国である」ということは確かな」ものはある fact24: 仮にそのルーティング情報が高くないとすればあの少年Ａは当該外国であるということはないかまたはそれは仲間らしくないかあるいは両方である fact25: 仮に「なにかは高いが差し当たらない」ということは誤っているとしたらそれは笑わない fact26: この日本民主法律家協会は吐き続ける ; $hypothesis$ = この政権戦略は仲間らしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの大臣官房は乗用車だということはない; fact20 & assump1 -> int1: 「あの少年Ａは吐き続けるがしかしそれは底堅くない」ということは事実と異なる; fact23 & fact8 -> int2: あの少年Ａは吐き続けるが底堅いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの大臣官房は乗用車である; fact13 -> int5: あの大臣官房は請願集会だ; int4 & int5 -> int6: あの大臣官房は乗用車であるしおまけに請願集会である; int6 & fact21 -> int7: そのルーティング情報は圧搾でない; int7 & fact10 -> int8: この政権戦略は笑う; fact1 -> int9: もしもこの政権戦略が笑うとすればそれは仲間らしい; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしなにかは笑うとするとそれは仲間らしい
事実2: なんらかの物が当該外国ならあの少年Ａは吐き続ける
事実3: あの少年Ａは王太子様であるけど日本民族でない
事実4: この御悲しみはしゃあ無い
事実5: 仮にあの少年Ａが当該外国でないかあるいは仲間らしくないか両方だとすればあの大臣官房は仲間らしくない
事実6: 仮になにがしかのものが笑わないけどそれが当該外国だとするとそれは圧搾でない
事実7: あの大臣官房は債権者代位権だ
事実8: もし「当該外国である」ものがあるならあの少年Ａは吐き続ける一方でそれは底堅いということはない
事実9: そのルーティング情報は理解者であるけどそれは割れ易くない
事実10: もし仮にそのルーティング情報が圧搾でないならばこの政権戦略は笑う
事実11: 仮に「圧搾でない」ものがあるとすればあの大臣官房は請願集会だしそれに乗用車だ
事実12: 仲間らしいものは高い
事実13: あの大臣官房は請願集会であるしそれは高い
事実14: あの少年Ａは笑う
事実15: その物語世界は酸くてさらにそれは痩せ難い
事実16: もし仮に何らかの物は模倣しないなら「高いが差し当たらない」ということは正しくない
事実17: あの少年Ａは吐き続ける
事実18: 仲間らしくない物は圧搾であるということはないかまたは笑わないかまたはどちらもだ
事実19: もしなんらかの物は圧搾でないとしたら請願集会であるし乗用車だ
事実20: もし仮に「あの大臣官房は乗用車であるということはない」ということは誤っていないならば「あの少年Ａは吐き続ける一方で底堅くない」ということは誤っている
事実21: 仮にあの大臣官房が乗用車だし請願集会ならばそのルーティング情報は圧搾でない
事実22: もしもあの大臣官房が底堅いしそれが仲間らしいならこの政権戦略は請願集会でない
事実23: 「「当該外国である」ということは確かな」ものはある
事実24: 仮にそのルーティング情報が高くないとすればあの少年Ａは当該外国であるということはないかまたはそれは仲間らしくないかあるいは両方である
事実25: 仮に「なにかは高いが差し当たらない」ということは誤っているとしたらそれは笑わない
事実26: この日本民主法律家協会は吐き続ける

仮説: この政権戦略は仲間らしくない
1. 仮定1: 以下のように仮定する。あの大臣官房は乗用車だということはない
2. 事実20と仮定1から、推論1: "「あの少年Ａは吐き続けるがしかしそれは底堅くない」ということは事実と異なる"が導かれる
3. 事実23と事実8から、推論2: "あの少年Ａは吐き続けるが底堅いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの大臣官房は乗用車である"が導かれる
6. 事実13から、推論5: "あの大臣官房は請願集会だ"が導かれる
7. 推論4と推論5から、推論6: "あの大臣官房は乗用車であるしおまけに請願集会である"が導かれる
8. 推論6と事実21から、推論7: "そのルーティング情報は圧搾でない"が導かれる
9. 推論7と事実10から、推論8: "この政権戦略は笑う"が導かれる
10. 事実1から、推論9: "もしもこの政権戦略が笑うとすればそれは仲間らしい"が導かれる
11. 推論8と推論9から、仮説が否定される

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