そのペリシテ人は拒めない
fact1: もしも「見え易くてさらに回想する」物があるとするとこのちょぼは建築する fact2: もしとあるものが追い求めるししかもそれが三年生以下ならこのちょぼは拒める fact3: もしとあるものは建築するししかも三年生以下なら追い求めるということはない fact4: 見え易くないものは拒めない fact5: もしその課外授業が建築するかそれが回想しないかあるいは両方ともならあの円金利は回想しない fact6: このちょぼは答え難くてそれにそれは三年生以下である fact7: 仮になにがしかの物が回想しないならそれは答え難くてさらに見え易い fact8: 「回想する」物はある fact9: その課外授業は見え易い fact10: このちょぼは答え難い fact11: その小萩様は回想する fact12: もしもこのちょぼが三年生以下でないとしたらその課外授業は建築するかもしくは回想するということはないかあるいは両方だ fact13: もしこのちょぼが答え難いけれど追い求めないとするとその課外授業は三年生以下だ fact14: その課外授業は回想する fact15: もしもこのちょぼが追い求めないならそのペリシテ人は拒める fact16: その課外授業は建築する fact17: もしこのちょぼが打ち上がり易いとすると答え難いけど追い求めない fact18: 「「見え易い」ものはある」ということは成り立つ
fact9 & fact14 -> int1: その課外授業は見え易いし回想する; int1 -> int2: 「見え易くて回想する」ものはある; int2 & fact1 -> int3: このちょぼは建築する; fact6 -> int4: 「このちょぼは三年生以下だ」ということは成り立つ; int3 & int4 -> int5: このちょぼは建築するし加えて三年生以下だ; fact3 -> int6: もしこのちょぼが建築するしそれが三年生以下ならそれは追い求めるということはない; int5 & int6 -> int7: このちょぼは追い求めない; int7 & fact15 -> hypothesis;
そのペリシテ人は拒めない
fact20 -> int8: もしもそのペリシテ人が見え易くないとするとそれは拒めない;
$facts$ = fact1: もしも「見え易くてさらに回想する」物があるとするとこのちょぼは建築する fact2: もしとあるものが追い求めるししかもそれが三年生以下ならこのちょぼは拒める fact3: もしとあるものは建築するししかも三年生以下なら追い求めるということはない fact4: 見え易くないものは拒めない fact5: もしその課外授業が建築するかそれが回想しないかあるいは両方ともならあの円金利は回想しない fact6: このちょぼは答え難くてそれにそれは三年生以下である fact7: 仮になにがしかの物が回想しないならそれは答え難くてさらに見え易い fact8: 「回想する」物はある fact9: その課外授業は見え易い fact10: このちょぼは答え難い fact11: その小萩様は回想する fact12: もしもこのちょぼが三年生以下でないとしたらその課外授業は建築するかもしくは回想するということはないかあるいは両方だ fact13: もしこのちょぼが答え難いけれど追い求めないとするとその課外授業は三年生以下だ fact14: その課外授業は回想する fact15: もしもこのちょぼが追い求めないならそのペリシテ人は拒める fact16: その課外授業は建築する fact17: もしこのちょぼが打ち上がり易いとすると答え難いけど追い求めない fact18: 「「見え易い」ものはある」ということは成り立つ ; $hypothesis$ = そのペリシテ人は拒めない ; $proof$ = 
fact9 & fact14 -> int1: その課外授業は見え易いし回想する; int1 -> int2: 「見え易くて回想する」ものはある; int2 & fact1 -> int3: このちょぼは建築する; fact6 -> int4: 「このちょぼは三年生以下だ」ということは成り立つ; int3 & int4 -> int5: このちょぼは建築するし加えて三年生以下だ; fact3 -> int6: もしこのちょぼが建築するしそれが三年生以下ならそれは追い求めるということはない; int5 & int6 -> int7: このちょぼは追い求めない; int7 & fact15 -> hypothesis; __DISPROVED__
事実1: もしも「見え易くてさらに回想する」物があるとするとこのちょぼは建築する
事実2: もしとあるものが追い求めるししかもそれが三年生以下ならこのちょぼは拒める
事実3: もしとあるものは建築するししかも三年生以下なら追い求めるということはない
事実4: 見え易くないものは拒めない
事実5: もしその課外授業が建築するかそれが回想しないかあるいは両方ともならあの円金利は回想しない
事実6: このちょぼは答え難くてそれにそれは三年生以下である
事実7: 仮になにがしかの物が回想しないならそれは答え難くてさらに見え易い
事実8: 「回想する」物はある
事実9: その課外授業は見え易い
事実10: このちょぼは答え難い
事実11: その小萩様は回想する
事実12: もしもこのちょぼが三年生以下でないとしたらその課外授業は建築するかもしくは回想するということはないかあるいは両方だ
事実13: もしこのちょぼが答え難いけれど追い求めないとするとその課外授業は三年生以下だ
事実14: その課外授業は回想する
事実15: もしもこのちょぼが追い求めないならそのペリシテ人は拒める
事実16: その課外授業は建築する
事実17: もしこのちょぼが打ち上がり易いとすると答え難いけど追い求めない
事実18: 「「見え易い」ものはある」ということは成り立つ

仮説: そのペリシテ人は拒めない
1. 事実9と事実14から、推論1: "その課外授業は見え易いし回想する"が導かれる
2. 推論1から、推論2: "「見え易くて回想する」ものはある"が導かれる
3. 推論2と事実1から、推論3: "このちょぼは建築する"が導かれる
4. 事実6から、推論4: "「このちょぼは三年生以下だ」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "このちょぼは建築するし加えて三年生以下だ"が導かれる
6. 事実3から、推論6: "もしこのちょぼが建築するしそれが三年生以下ならそれは追い求めるということはない"が導かれる
7. 推論5と推論6から、推論7: "このちょぼは追い求めない"が導かれる
8. 推論7と事実15から、仮説が否定される

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