「この任意資本は如才無いということはないけど民族主義者である」ということは偽である
fact1: もし仮にその入貢が図案化するかまたはそれが思い沈むかもしくはどちらもだとするとあのタガログ語は好もしかない fact2: この任意資本は思い沈まない fact3: もしも「日本語普及でない」ものがあればその入貢は好もしいということはないか口出しするかもしくはどちらもである fact4: あの労は拉ぐし加えて長寿国だ fact5: あのタガログ語は貿易金融ＥＤＩでない fact6: 仮にあの労は拉ぐとすれば「あのタガログ語は民族主義者でなくてそれは貿易金融ＥＤＩでない」ということは事実と異なる fact7: その入貢は思い沈まないとしたら「あの労はやくざっぽくないしまた口出しするということはない」ということは成り立たない fact8: もしもこの様子見が日本語普及でないならばこの任意資本は如才無くないがしかし民族主義者である fact9: 「日本語普及でない」物はある fact10: もしも「「拉ぐが好もしかない」ということは成り立たない」ものがあるならあのタガログ語は好もしい fact11: 仮に「あの労はやくざっぽくないしその上口出ししない」ということは成り立たないならばこの様子見は日本語普及だということはない fact12: もし仮にこの様子見が如才無くないとするとそれは手続き的記憶でかつそれは思い沈む fact13: もし仮にあのタガログ語が貿易金融ＥＤＩでないとすればそれは口出ししないし日本語普及でない fact14: もし仮にとある物が好もしいということはないかまたは口出しするとすると図案化するということはない fact15: 仮に何らかのものは好もしいなら「図案化するし加えて思い沈まない」ということは誤りだ fact16: 「何らかのものは図案化するけれどそれは思い沈むということはない」ということは間違っているとしたら図案化しない fact17: もしもなにがしかの物が図案化しないとすればあの様子見はやくざっぽくない fact18: 「「拉ぐしおまけに好もしかない」ということは誤りな」ものはある
void -> assump1: 以下のように仮定する。その入貢は思い沈む; assump1 -> int1: その入貢は図案化するかそれは思い沈むかあるいは両方ともである; int1 & fact1 -> int2: あのタガログ語は好もしかない; fact10 & fact18 -> int3: あのタガログ語は好もしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その入貢は思い沈まない」ということは事実だ; int5 & fact7 -> int6: 「あの労はやくざっぽくないし口出ししない」ということは誤っている; int6 & fact11 -> int7: この様子見は日本語普及であるということはない; int7 & fact8 -> hypothesis;
「この任意資本は如才無くないけど民族主義者だ」ということは成り立つということはない
fact22 -> int8: 仮に「その入貢は図案化するが思い沈まない」ということは誤っていればそれは図案化しない; fact20 -> int9: もし仮にその入貢は好もしいなら「それは図案化するしそれは思い沈むということはない」ということは偽だ; fact19 & fact21 -> int10: あのタガログ語が口出しするということはないしさらにそれは日本語普及でない; int10 -> int11: あのタガログ語は口出しするということはない; int11 -> int12: 「口出しするということはない」物はある;
$facts$ = fact1: もし仮にその入貢が図案化するかまたはそれが思い沈むかもしくはどちらもだとするとあのタガログ語は好もしかない fact2: この任意資本は思い沈まない fact3: もしも「日本語普及でない」ものがあればその入貢は好もしいということはないか口出しするかもしくはどちらもである fact4: あの労は拉ぐし加えて長寿国だ fact5: あのタガログ語は貿易金融ＥＤＩでない fact6: 仮にあの労は拉ぐとすれば「あのタガログ語は民族主義者でなくてそれは貿易金融ＥＤＩでない」ということは事実と異なる fact7: その入貢は思い沈まないとしたら「あの労はやくざっぽくないしまた口出しするということはない」ということは成り立たない fact8: もしもこの様子見が日本語普及でないならばこの任意資本は如才無くないがしかし民族主義者である fact9: 「日本語普及でない」物はある fact10: もしも「「拉ぐが好もしかない」ということは成り立たない」ものがあるならあのタガログ語は好もしい fact11: 仮に「あの労はやくざっぽくないしその上口出ししない」ということは成り立たないならばこの様子見は日本語普及だということはない fact12: もし仮にこの様子見が如才無くないとするとそれは手続き的記憶でかつそれは思い沈む fact13: もし仮にあのタガログ語が貿易金融ＥＤＩでないとすればそれは口出ししないし日本語普及でない fact14: もし仮にとある物が好もしいということはないかまたは口出しするとすると図案化するということはない fact15: 仮に何らかのものは好もしいなら「図案化するし加えて思い沈まない」ということは誤りだ fact16: 「何らかのものは図案化するけれどそれは思い沈むということはない」ということは間違っているとしたら図案化しない fact17: もしもなにがしかの物が図案化しないとすればあの様子見はやくざっぽくない fact18: 「「拉ぐしおまけに好もしかない」ということは誤りな」ものはある ; $hypothesis$ = 「この任意資本は如才無いということはないけど民族主義者である」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その入貢は思い沈む; assump1 -> int1: その入貢は図案化するかそれは思い沈むかあるいは両方ともである; int1 & fact1 -> int2: あのタガログ語は好もしかない; fact10 & fact18 -> int3: あのタガログ語は好もしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その入貢は思い沈まない」ということは事実だ; int5 & fact7 -> int6: 「あの労はやくざっぽくないし口出ししない」ということは誤っている; int6 & fact11 -> int7: この様子見は日本語普及であるということはない; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にその入貢が図案化するかまたはそれが思い沈むかもしくはどちらもだとするとあのタガログ語は好もしかない
事実2: この任意資本は思い沈まない
事実3: もしも「日本語普及でない」ものがあればその入貢は好もしいということはないか口出しするかもしくはどちらもである
事実4: あの労は拉ぐし加えて長寿国だ
事実5: あのタガログ語は貿易金融ＥＤＩでない
事実6: 仮にあの労は拉ぐとすれば「あのタガログ語は民族主義者でなくてそれは貿易金融ＥＤＩでない」ということは事実と異なる
事実7: その入貢は思い沈まないとしたら「あの労はやくざっぽくないしまた口出しするということはない」ということは成り立たない
事実8: もしもこの様子見が日本語普及でないならばこの任意資本は如才無くないがしかし民族主義者である
事実9: 「日本語普及でない」物はある
事実10: もしも「「拉ぐが好もしかない」ということは成り立たない」ものがあるならあのタガログ語は好もしい
事実11: 仮に「あの労はやくざっぽくないしその上口出ししない」ということは成り立たないならばこの様子見は日本語普及だということはない
事実12: もし仮にこの様子見が如才無くないとするとそれは手続き的記憶でかつそれは思い沈む
事実13: もし仮にあのタガログ語が貿易金融ＥＤＩでないとすればそれは口出ししないし日本語普及でない
事実14: もし仮にとある物が好もしいということはないかまたは口出しするとすると図案化するということはない
事実15: 仮に何らかのものは好もしいなら「図案化するし加えて思い沈まない」ということは誤りだ
事実16: 「何らかのものは図案化するけれどそれは思い沈むということはない」ということは間違っているとしたら図案化しない
事実17: もしもなにがしかの物が図案化しないとすればあの様子見はやくざっぽくない
事実18: 「「拉ぐしおまけに好もしかない」ということは誤りな」ものはある

仮説: 「この任意資本は如才無いということはないけど民族主義者である」ということは偽である
1. 仮定1: 以下のように仮定する。その入貢は思い沈む
2. 仮定1から、推論1: "その入貢は図案化するかそれは思い沈むかあるいは両方ともである"が導かれる
3. 推論1と事実1から、推論2: "あのタガログ語は好もしかない"が導かれる
4. 事実10と事実18から、推論3: "あのタガログ語は好もしい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その入貢は思い沈まない」ということは事実だ"が導かれる
7. 推論5と事実7から、推論6: "「あの労はやくざっぽくないし口出ししない」ということは誤っている"が導かれる
8. 推論6と事実11から、推論7: "この様子見は日本語普及であるということはない"が導かれる
9. 推論7と事実8から、仮説が否定される

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