その普通株主は焚かない
fact1: もし仮にこの二十五年以上が知り過ぎないならばその普通株主は許し難しが他部族でない fact2: このキリスト教精神は弄くる fact3: 「その蝦蟇は小気味良いがしかしそれは基調色でない」ということは確かでない fact4: もしも「「驚嘆すし程近くない」ということは誤りである」物があるとするとあの一校時は程近い fact5: もし仮にこのキリスト教精神は弄くれば「それは取り消し・停止処分でないし驚嘆すらない」ということは成り立たない fact6: その蝦蟇は許し難し fact7: 仮にこのキリスト教精神が取り消し・停止処分ならそれは他部族でない fact8: 「このキリスト教精神は許し難しということはないししかも驚嘆すらない」ということは成り立たないとすればその普通株主は驚嘆す fact9: 仮にこのキリスト教精神が小気味良くないならその普通株主は驚嘆すけれど他部族でない fact10: あの有機塩素化合物は許し難しけれど重量物でない fact11: その普通株主は知り過ぎる fact12: もし仮にあるものが久しとすれば焚く fact13: もしも「このキリスト教精神は取り消し・停止処分でないしそれに驚嘆すらない」ということは間違っているとすればあの有機塩素化合物は驚嘆す fact14: この先入は弄くる fact15: その普通株主は他部族でない fact16: その普通株主は弄くる fact17: その普通株主は許し難しならば「焚かない」ということは真実である fact18: 仮にあの有機塩素化合物が久しないならその蝦蟇は小気味良い fact19: 仮にあの有機塩素化合物が久しということはないとすればその蝦蟇は小気味良いけれど基調色でない fact20: もし仮にあの有機塩素化合物が久しし驚嘆すならこの二十五年以上は知り過ぎない fact21: もし仮にこのキリスト教精神は弄くるなら「それは取り消し・停止処分であるし驚嘆すらない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの有機塩素化合物は久しない; fact19 & assump1 -> int1: その蝦蟇は小気味良い一方で基調色でない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの有機塩素化合物は久し; fact5 & fact2 -> int4: 「このキリスト教精神は取り消し・停止処分でないしそれは驚嘆すらない」ということは誤っている; int4 & fact13 -> int5: あの有機塩素化合物は驚嘆す; int3 & int5 -> int6: あの有機塩素化合物は久ししまた驚嘆す; int6 & fact20 -> int7: この二十五年以上は知り過ぎない; int7 & fact1 -> int8: その普通株主は許し難し一方で他部族でない; int8 -> int9: 「その普通株主は許し難し」ということは成り立つ; int9 & fact17 -> hypothesis;
その普通株主は焚く
fact22 -> int10: もしもその普通株主は久しとすれば「それは焚く」ということは成り立つ;
$facts$ = fact1: もし仮にこの二十五年以上が知り過ぎないならばその普通株主は許し難しが他部族でない fact2: このキリスト教精神は弄くる fact3: 「その蝦蟇は小気味良いがしかしそれは基調色でない」ということは確かでない fact4: もしも「「驚嘆すし程近くない」ということは誤りである」物があるとするとあの一校時は程近い fact5: もし仮にこのキリスト教精神は弄くれば「それは取り消し・停止処分でないし驚嘆すらない」ということは成り立たない fact6: その蝦蟇は許し難し fact7: 仮にこのキリスト教精神が取り消し・停止処分ならそれは他部族でない fact8: 「このキリスト教精神は許し難しということはないししかも驚嘆すらない」ということは成り立たないとすればその普通株主は驚嘆す fact9: 仮にこのキリスト教精神が小気味良くないならその普通株主は驚嘆すけれど他部族でない fact10: あの有機塩素化合物は許し難しけれど重量物でない fact11: その普通株主は知り過ぎる fact12: もし仮にあるものが久しとすれば焚く fact13: もしも「このキリスト教精神は取り消し・停止処分でないしそれに驚嘆すらない」ということは間違っているとすればあの有機塩素化合物は驚嘆す fact14: この先入は弄くる fact15: その普通株主は他部族でない fact16: その普通株主は弄くる fact17: その普通株主は許し難しならば「焚かない」ということは真実である fact18: 仮にあの有機塩素化合物が久しないならその蝦蟇は小気味良い fact19: 仮にあの有機塩素化合物が久しということはないとすればその蝦蟇は小気味良いけれど基調色でない fact20: もし仮にあの有機塩素化合物が久しし驚嘆すならこの二十五年以上は知り過ぎない fact21: もし仮にこのキリスト教精神は弄くるなら「それは取り消し・停止処分であるし驚嘆すらない」ということは成り立たない ; $hypothesis$ = その普通株主は焚かない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの有機塩素化合物は久しない; fact19 & assump1 -> int1: その蝦蟇は小気味良い一方で基調色でない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの有機塩素化合物は久し; fact5 & fact2 -> int4: 「このキリスト教精神は取り消し・停止処分でないしそれは驚嘆すらない」ということは誤っている; int4 & fact13 -> int5: あの有機塩素化合物は驚嘆す; int3 & int5 -> int6: あの有機塩素化合物は久ししまた驚嘆す; int6 & fact20 -> int7: この二十五年以上は知り過ぎない; int7 & fact1 -> int8: その普通株主は許し難し一方で他部族でない; int8 -> int9: 「その普通株主は許し難し」ということは成り立つ; int9 & fact17 -> hypothesis; __PROVED__
事実1: もし仮にこの二十五年以上が知り過ぎないならばその普通株主は許し難しが他部族でない
事実2: このキリスト教精神は弄くる
事実3: 「その蝦蟇は小気味良いがしかしそれは基調色でない」ということは確かでない
事実4: もしも「「驚嘆すし程近くない」ということは誤りである」物があるとするとあの一校時は程近い
事実5: もし仮にこのキリスト教精神は弄くれば「それは取り消し・停止処分でないし驚嘆すらない」ということは成り立たない
事実6: その蝦蟇は許し難し
事実7: 仮にこのキリスト教精神が取り消し・停止処分ならそれは他部族でない
事実8: 「このキリスト教精神は許し難しということはないししかも驚嘆すらない」ということは成り立たないとすればその普通株主は驚嘆す
事実9: 仮にこのキリスト教精神が小気味良くないならその普通株主は驚嘆すけれど他部族でない
事実10: あの有機塩素化合物は許し難しけれど重量物でない
事実11: その普通株主は知り過ぎる
事実12: もし仮にあるものが久しとすれば焚く
事実13: もしも「このキリスト教精神は取り消し・停止処分でないしそれに驚嘆すらない」ということは間違っているとすればあの有機塩素化合物は驚嘆す
事実14: この先入は弄くる
事実15: その普通株主は他部族でない
事実16: その普通株主は弄くる
事実17: その普通株主は許し難しならば「焚かない」ということは真実である
事実18: 仮にあの有機塩素化合物が久しないならその蝦蟇は小気味良い
事実19: 仮にあの有機塩素化合物が久しということはないとすればその蝦蟇は小気味良いけれど基調色でない
事実20: もし仮にあの有機塩素化合物が久しし驚嘆すならこの二十五年以上は知り過ぎない
事実21: もし仮にこのキリスト教精神は弄くるなら「それは取り消し・停止処分であるし驚嘆すらない」ということは成り立たない

仮説: その普通株主は焚かない
1. 仮定1: 以下のように仮定する。あの有機塩素化合物は久しない
2. 事実19と仮定1から、推論1: "その蝦蟇は小気味良い一方で基調色でない"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの有機塩素化合物は久し"が導かれる
5. 事実5と事実2から、推論4: "「このキリスト教精神は取り消し・停止処分でないしそれは驚嘆すらない」ということは誤っている"が導かれる
6. 推論4と事実13から、推論5: "あの有機塩素化合物は驚嘆す"が導かれる
7. 推論3と推論5から、推論6: "あの有機塩素化合物は久ししまた驚嘆す"が導かれる
8. 推論6と事実20から、推論7: "この二十五年以上は知り過ぎない"が導かれる
9. 推論7と事実1から、推論8: "その普通株主は許し難し一方で他部族でない"が導かれる
10. 推論8から、推論9: "「その普通株主は許し難し」ということは成り立つ"が導かれる
11. 推論9と事実17から、仮説が導かれる

よって、仮説が証明されました。