「仮にその薬草類が父方だとすればその電気系は情け深い」ということは成り立たない
fact1: もし「父方だけれど迎撃しない」物はあるとすると「あの二十ヘクタール以上は賢い」ということは本当である fact2: 仮に「「素晴らしいけれど根差さない」ということは間違っている」ものがあるとすればその電気系は情け深い fact3: そのキャッシュ・インフローは賢くない fact4: 情け深い物は父方だ一方で迎撃しない fact5: あの牛骨は在宅療養者でない fact6: もしも「根差す」物があるならばあの電気系は情け深い fact7: もしもこの学校評価が素晴らしいしその上根差せばそれは迎撃するということはない fact8: もしもそのキャッシュ・インフローが迎撃しない一方で賢いとすればその薬草類は父方でない fact9: もしもそのキャッシュ・インフローは吸い続けないとすれば「この学校評価は情け深いしさらに遣り易い」ということは真実である fact10: もし「そのキャッシュ・インフローは迎撃しないしその上賢くない」ということは確かであるとすればその薬草類は父方でない fact11: 「この学校評価は素晴らしくてそれに根差す」ということは間違いである fact12: なんらかのものは素晴らしいが根差すということはない fact13: 「「素晴らしいしその上根差す」ということは正しくない」物はある fact14: 「この学校評価は根差さない」ということは事実である fact15: もし仮にそのキャッシュ・インフローが迎撃しないし賢くないとするとその薬草類は父方である fact16: もしもこの学校評価が迎撃しないとすればあのキャッシュ・インフローは賢くない fact17: もし「この学校評価は迎撃しない」ということは事実であるならばそのキャッシュ・インフローは迎撃しないし賢くない fact18: 全ては熱苦しい一方で丁寧過ぎない fact19: もしもこの学校評価は素晴らしいけれど根差さないなら迎撃しない
void -> assump2: 以下のように仮定する。この学校評価は素晴らしい一方で根差さない; fact19 & assump2 -> int1: この学校評価は迎撃しない; int1 & fact17 -> int2: 「そのキャッシュ・インフローは迎撃しないし賢くない」ということは本当である; int2 & fact10 -> int3: その薬草類は父方でない; void -> assump1: 以下のように仮定する。その薬草類は父方である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「この学校評価は素晴らしいけれど根差さない」ということは間違いである; int5 -> int6: 「「素晴らしいが根差さない」ということは間違いである」ものはある; int6 & fact2 -> int7: その電気系は情け深い; [assump1] & int7 -> hypothesis;
「あの二十ヘクタール以上は賢い」ということは真実だ
fact21 -> int8: もしもこの学校評価が情け深いとすればそれは父方であるけれど迎撃しない; fact20 -> int9: その薬草類は熱苦しいがしかし丁寧過ぎない; int9 -> int10: ある物は熱苦しいが丁寧過ぎない;
$facts$ = fact1: もし「父方だけれど迎撃しない」物はあるとすると「あの二十ヘクタール以上は賢い」ということは本当である fact2: 仮に「「素晴らしいけれど根差さない」ということは間違っている」ものがあるとすればその電気系は情け深い fact3: そのキャッシュ・インフローは賢くない fact4: 情け深い物は父方だ一方で迎撃しない fact5: あの牛骨は在宅療養者でない fact6: もしも「根差す」物があるならばあの電気系は情け深い fact7: もしもこの学校評価が素晴らしいしその上根差せばそれは迎撃するということはない fact8: もしもそのキャッシュ・インフローが迎撃しない一方で賢いとすればその薬草類は父方でない fact9: もしもそのキャッシュ・インフローは吸い続けないとすれば「この学校評価は情け深いしさらに遣り易い」ということは真実である fact10: もし「そのキャッシュ・インフローは迎撃しないしその上賢くない」ということは確かであるとすればその薬草類は父方でない fact11: 「この学校評価は素晴らしくてそれに根差す」ということは間違いである fact12: なんらかのものは素晴らしいが根差すということはない fact13: 「「素晴らしいしその上根差す」ということは正しくない」物はある fact14: 「この学校評価は根差さない」ということは事実である fact15: もし仮にそのキャッシュ・インフローが迎撃しないし賢くないとするとその薬草類は父方である fact16: もしもこの学校評価が迎撃しないとすればあのキャッシュ・インフローは賢くない fact17: もし「この学校評価は迎撃しない」ということは事実であるならばそのキャッシュ・インフローは迎撃しないし賢くない fact18: 全ては熱苦しい一方で丁寧過ぎない fact19: もしもこの学校評価は素晴らしいけれど根差さないなら迎撃しない ; $hypothesis$ = 「仮にその薬草類が父方だとすればその電気系は情け深い」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。この学校評価は素晴らしい一方で根差さない; fact19 & assump2 -> int1: この学校評価は迎撃しない; int1 & fact17 -> int2: 「そのキャッシュ・インフローは迎撃しないし賢くない」ということは本当である; int2 & fact10 -> int3: その薬草類は父方でない; void -> assump1: 以下のように仮定する。その薬草類は父方である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「この学校評価は素晴らしいけれど根差さない」ということは間違いである; int5 -> int6: 「「素晴らしいが根差さない」ということは間違いである」ものはある; int6 & fact2 -> int7: その電気系は情け深い; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし「父方だけれど迎撃しない」物はあるとすると「あの二十ヘクタール以上は賢い」ということは本当である
事実2: 仮に「「素晴らしいけれど根差さない」ということは間違っている」ものがあるとすればその電気系は情け深い
事実3: そのキャッシュ・インフローは賢くない
事実4: 情け深い物は父方だ一方で迎撃しない
事実5: あの牛骨は在宅療養者でない
事実6: もしも「根差す」物があるならばあの電気系は情け深い
事実7: もしもこの学校評価が素晴らしいしその上根差せばそれは迎撃するということはない
事実8: もしもそのキャッシュ・インフローが迎撃しない一方で賢いとすればその薬草類は父方でない
事実9: もしもそのキャッシュ・インフローは吸い続けないとすれば「この学校評価は情け深いしさらに遣り易い」ということは真実である
事実10: もし「そのキャッシュ・インフローは迎撃しないしその上賢くない」ということは確かであるとすればその薬草類は父方でない
事実11: 「この学校評価は素晴らしくてそれに根差す」ということは間違いである
事実12: なんらかのものは素晴らしいが根差すということはない
事実13: 「「素晴らしいしその上根差す」ということは正しくない」物はある
事実14: 「この学校評価は根差さない」ということは事実である
事実15: もし仮にそのキャッシュ・インフローが迎撃しないし賢くないとするとその薬草類は父方である
事実16: もしもこの学校評価が迎撃しないとすればあのキャッシュ・インフローは賢くない
事実17: もし「この学校評価は迎撃しない」ということは事実であるならばそのキャッシュ・インフローは迎撃しないし賢くない
事実18: 全ては熱苦しい一方で丁寧過ぎない
事実19: もしもこの学校評価は素晴らしいけれど根差さないなら迎撃しない

仮説: 「仮にその薬草類が父方だとすればその電気系は情け深い」ということは成り立たない
1. 仮定2: 以下のように仮定する。この学校評価は素晴らしい一方で根差さない
2. 事実19と仮定2から、推論1: "この学校評価は迎撃しない"が導かれる
3. 推論1と事実17から、推論2: "「そのキャッシュ・インフローは迎撃しないし賢くない」ということは本当である"が導かれる
4. 推論2と事実10から、推論3: "その薬草類は父方でない"が導かれる
5. 仮定1: 以下のように仮定する。その薬草類は父方である
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「この学校評価は素晴らしいけれど根差さない」ということは間違いである"が導かれる
8. 推論5から、推論6: "「「素晴らしいが根差さない」ということは間違いである」ものはある"が導かれる
9. 推論6と事実2から、推論7: "その電気系は情け深い"が導かれる
10. [仮定1]と推論7から、仮説が否定される

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