「この約二千人は語り合えないがしかしそれは慎ましい」ということは偽である
fact1: この約二千人は公平でない fact2: もし仮にあの柿渋が公平でないとしたらその蔑視は執り成しでない fact3: 「その蔑視は慎ましくない」ということは成り立つ fact4: 「その蔑視は栄養補給するし更にそれは公平だ」ということは誤りであるならあの柿渋は語り合えない fact5: あの柿渋が執り成しでないならばあの約二千人は栄養補給しないがしかし慎ましい fact6: もし仮にその蔑視が執り成しだということはないとすればあの柿渋は公平でない fact7: もしもこの約二千人が栄養補給しないならばあの柿渋は慎ましくない fact8: あの柿渋は慎ましくないけどそれは栄養補給する fact9: その蔑視が語り合えないとするとこの約二千人は公平でないけれど慎ましい fact10: あの柿渋は救助しないがしかし繁殖し易い fact11: 仮にその蔑視が公平でないとするとこの約二千人は語り合えないがしかし慎ましい fact12: 「御参考な」物はある fact13: 「おっそろし」ものはある fact14: もしもあの柿渋が語り合えないとするとこの約二千人は栄養補給しない fact15: 「その蔑視は語り合えない」ということは事実だ fact16: 「「慎ましい」ということは本当な」ものはある fact17: もしも「あの柿渋は執り成しだし加えて栄養補給する」ということは事実でないとすればその蔑視は公平でない fact18: 仮に「御参考である」ものはあれば「あの柿渋は執り成しで加えて栄養補給する」ということは間違っている fact19: もし「この約二千人は栄養補給しない」ということは成り立つとしたらあの柿渋は執り成しでない fact20: その蔑視が慎ましいということはないとするとこの約二千人は公平でない
fact12 & fact18 -> int1: 「あの柿渋は執り成しであるしその上栄養補給する」ということは成り立つということはない; int1 & fact17 -> int2: その蔑視は公平でない; int2 & fact11 -> hypothesis;
$facts$ = fact1: この約二千人は公平でない fact2: もし仮にあの柿渋が公平でないとしたらその蔑視は執り成しでない fact3: 「その蔑視は慎ましくない」ということは成り立つ fact4: 「その蔑視は栄養補給するし更にそれは公平だ」ということは誤りであるならあの柿渋は語り合えない fact5: あの柿渋が執り成しでないならばあの約二千人は栄養補給しないがしかし慎ましい fact6: もし仮にその蔑視が執り成しだということはないとすればあの柿渋は公平でない fact7: もしもこの約二千人が栄養補給しないならばあの柿渋は慎ましくない fact8: あの柿渋は慎ましくないけどそれは栄養補給する fact9: その蔑視が語り合えないとするとこの約二千人は公平でないけれど慎ましい fact10: あの柿渋は救助しないがしかし繁殖し易い fact11: 仮にその蔑視が公平でないとするとこの約二千人は語り合えないがしかし慎ましい fact12: 「御参考な」物はある fact13: 「おっそろし」ものはある fact14: もしもあの柿渋が語り合えないとするとこの約二千人は栄養補給しない fact15: 「その蔑視は語り合えない」ということは事実だ fact16: 「「慎ましい」ということは本当な」ものはある fact17: もしも「あの柿渋は執り成しだし加えて栄養補給する」ということは事実でないとすればその蔑視は公平でない fact18: 仮に「御参考である」ものはあれば「あの柿渋は執り成しで加えて栄養補給する」ということは間違っている fact19: もし「この約二千人は栄養補給しない」ということは成り立つとしたらあの柿渋は執り成しでない fact20: その蔑視が慎ましいということはないとするとこの約二千人は公平でない ; $hypothesis$ = 「この約二千人は語り合えないがしかしそれは慎ましい」ということは偽である ; $proof$ = 
fact12 & fact18 -> int1: 「あの柿渋は執り成しであるしその上栄養補給する」ということは成り立つということはない; int1 & fact17 -> int2: その蔑視は公平でない; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: この約二千人は公平でない
事実2: もし仮にあの柿渋が公平でないとしたらその蔑視は執り成しでない
事実3: 「その蔑視は慎ましくない」ということは成り立つ
事実4: 「その蔑視は栄養補給するし更にそれは公平だ」ということは誤りであるならあの柿渋は語り合えない
事実5: あの柿渋が執り成しでないならばあの約二千人は栄養補給しないがしかし慎ましい
事実6: もし仮にその蔑視が執り成しだということはないとすればあの柿渋は公平でない
事実7: もしもこの約二千人が栄養補給しないならばあの柿渋は慎ましくない
事実8: あの柿渋は慎ましくないけどそれは栄養補給する
事実9: その蔑視が語り合えないとするとこの約二千人は公平でないけれど慎ましい
事実10: あの柿渋は救助しないがしかし繁殖し易い
事実11: 仮にその蔑視が公平でないとするとこの約二千人は語り合えないがしかし慎ましい
事実12: 「御参考な」物はある
事実13: 「おっそろし」ものはある
事実14: もしもあの柿渋が語り合えないとするとこの約二千人は栄養補給しない
事実15: 「その蔑視は語り合えない」ということは事実だ
事実16: 「「慎ましい」ということは本当な」ものはある
事実17: もしも「あの柿渋は執り成しだし加えて栄養補給する」ということは事実でないとすればその蔑視は公平でない
事実18: 仮に「御参考である」ものはあれば「あの柿渋は執り成しで加えて栄養補給する」ということは間違っている
事実19: もし「この約二千人は栄養補給しない」ということは成り立つとしたらあの柿渋は執り成しでない
事実20: その蔑視が慎ましいということはないとするとこの約二千人は公平でない

仮説: 「この約二千人は語り合えないがしかしそれは慎ましい」ということは偽である
1. 事実12と事実18から、推論1: "「あの柿渋は執り成しであるしその上栄養補給する」ということは成り立つということはない"が導かれる
2. 推論1と事実17から、推論2: "その蔑視は公平でない"が導かれる
3. 推論2と事実11から、仮説が否定される

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