その五年前は労務者である
fact1: 仮にあの白煙が現われ易いならその五年前は地下抵抗組織でないししかも打ち難くない fact2: もしも「「この賃金台帳は涙ぐましいということはないけれどそれは沸く」ということは成り立つ」ということは嘘であるならば「あの白煙は沸くということはない」ということは正しい fact3: もし仮に「地下抵抗組織であるかまたは打ち難いかもしくは両方ともである」ものがあるとすればこの賃金台帳は現われ易い fact4: もし「あの白煙は沸かない」ということは真実なら「現われ易くて加えて初恋である」ということは真実である fact5: もし「誇示である」ものがあるとするとあの白煙は奨学であるしその上地下抵抗組織だ fact6: もし何らかのものは誇示でないが奨学だとするとそれは労務者である fact7: 「誇示な」物はある fact8: もし仮になんらかの物が打ち難いとするとこの賃金台帳は現われ易い fact9: この賃金台帳が現われ易いとするとその五年前は労務者でない
fact7 & fact5 -> int1: あの白煙は奨学でまた地下抵抗組織だ; int1 -> int2: あの白煙は地下抵抗組織だ; int2 -> int3: あの白煙は地下抵抗組織であるかまたは打ち難いかまたは両方ともである; int3 -> int4: 「地下抵抗組織であるかあるいは打ち難い」物はある; int4 & fact3 -> int5: この賃金台帳は現われ易い; int5 & fact9 -> hypothesis;
その五年前は労務者である
fact12 -> int6: もし仮にその五年前が誇示であるということはないけど奨学だとするとそれは労務者である;
$facts$ = fact1: 仮にあの白煙が現われ易いならその五年前は地下抵抗組織でないししかも打ち難くない fact2: もしも「「この賃金台帳は涙ぐましいということはないけれどそれは沸く」ということは成り立つ」ということは嘘であるならば「あの白煙は沸くということはない」ということは正しい fact3: もし仮に「地下抵抗組織であるかまたは打ち難いかもしくは両方ともである」ものがあるとすればこの賃金台帳は現われ易い fact4: もし「あの白煙は沸かない」ということは真実なら「現われ易くて加えて初恋である」ということは真実である fact5: もし「誇示である」ものがあるとするとあの白煙は奨学であるしその上地下抵抗組織だ fact6: もし何らかのものは誇示でないが奨学だとするとそれは労務者である fact7: 「誇示な」物はある fact8: もし仮になんらかの物が打ち難いとするとこの賃金台帳は現われ易い fact9: この賃金台帳が現われ易いとするとその五年前は労務者でない ; $hypothesis$ = その五年前は労務者である ; $proof$ = 
fact7 & fact5 -> int1: あの白煙は奨学でまた地下抵抗組織だ; int1 -> int2: あの白煙は地下抵抗組織だ; int2 -> int3: あの白煙は地下抵抗組織であるかまたは打ち難いかまたは両方ともである; int3 -> int4: 「地下抵抗組織であるかあるいは打ち難い」物はある; int4 & fact3 -> int5: この賃金台帳は現われ易い; int5 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮にあの白煙が現われ易いならその五年前は地下抵抗組織でないししかも打ち難くない
事実2: もしも「「この賃金台帳は涙ぐましいということはないけれどそれは沸く」ということは成り立つ」ということは嘘であるならば「あの白煙は沸くということはない」ということは正しい
事実3: もし仮に「地下抵抗組織であるかまたは打ち難いかもしくは両方ともである」ものがあるとすればこの賃金台帳は現われ易い
事実4: もし「あの白煙は沸かない」ということは真実なら「現われ易くて加えて初恋である」ということは真実である
事実5: もし「誇示である」ものがあるとするとあの白煙は奨学であるしその上地下抵抗組織だ
事実6: もし何らかのものは誇示でないが奨学だとするとそれは労務者である
事実7: 「誇示な」物はある
事実8: もし仮になんらかの物が打ち難いとするとこの賃金台帳は現われ易い
事実9: この賃金台帳が現われ易いとするとその五年前は労務者でない

仮説: その五年前は労務者である
1. 事実7と事実5から、推論1: "あの白煙は奨学でまた地下抵抗組織だ"が導かれる
2. 推論1から、推論2: "あの白煙は地下抵抗組織だ"が導かれる
3. 推論2から、推論3: "あの白煙は地下抵抗組織であるかまたは打ち難いかまたは両方ともである"が導かれる
4. 推論3から、推論4: "「地下抵抗組織であるかあるいは打ち難い」物はある"が導かれる
5. 推論4と事実3から、推論5: "この賃金台帳は現われ易い"が導かれる
6. 推論5と事実9から、仮説が否定される

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