このＢ群は取り組み易い
fact1: もしもその単勝配当別が報告致すならこのＢ群は取り組み易い fact2: 「もしも「高所得者であるかあるいは七十人でない」ものがあるならあの果樹は広くない」ということは正しい fact3: もしその単勝配当別が高所得者でないとしたらあの果樹は高所得者でない fact4: 「この療養型病床は高所得者であるかもしくはそれは七十人でない」ということは成り立つということはないとすればその単勝配当別は報告致す fact5: 「もし仮に「あの果樹は取り組み易くないしそれは高所得者でない」ということは誤りであるとするとこのＢ群は取り組み易くない」ということは真実だ fact6: あの果樹は青褪めないがしかし広い fact7: なにがしかの物は高所得者であるかまたは七十人である fact8: もし仮に「この療養型病床は高所得者であるかまたはそれは七十人であるかもしくは両方だ」ということは成り立つということはないならその単勝配当別は報告致す fact9: 「あの終刊号は七十人であるけど広くない」ということは誤りだとすればあの単勝配当別は七十人だ
void -> assump1: 以下のように仮定する。この療養型病床は高所得者であるか七十人でないかあるいは両方である; assump1 -> int1: とあるものは高所得者であるかあるいは七十人でないか両方ともだ; int1 & fact2 -> int2: あの果樹は広くない; fact6 -> int3: あの果樹は広い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この療養型病床は高所得者であるかあるいは七十人でないかあるいはどちらもだ」ということは誤りである; int5 & fact4 -> int6: その単勝配当別は報告致す; int6 & fact1 -> hypothesis;
あの果樹は取り組み易くないけれど御早い
$facts$ = fact1: もしもその単勝配当別が報告致すならこのＢ群は取り組み易い fact2: 「もしも「高所得者であるかあるいは七十人でない」ものがあるならあの果樹は広くない」ということは正しい fact3: もしその単勝配当別が高所得者でないとしたらあの果樹は高所得者でない fact4: 「この療養型病床は高所得者であるかもしくはそれは七十人でない」ということは成り立つということはないとすればその単勝配当別は報告致す fact5: 「もし仮に「あの果樹は取り組み易くないしそれは高所得者でない」ということは誤りであるとするとこのＢ群は取り組み易くない」ということは真実だ fact6: あの果樹は青褪めないがしかし広い fact7: なにがしかの物は高所得者であるかまたは七十人である fact8: もし仮に「この療養型病床は高所得者であるかまたはそれは七十人であるかもしくは両方だ」ということは成り立つということはないならその単勝配当別は報告致す fact9: 「あの終刊号は七十人であるけど広くない」ということは誤りだとすればあの単勝配当別は七十人だ ; $hypothesis$ = このＢ群は取り組み易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この療養型病床は高所得者であるか七十人でないかあるいは両方である; assump1 -> int1: とあるものは高所得者であるかあるいは七十人でないか両方ともだ; int1 & fact2 -> int2: あの果樹は広くない; fact6 -> int3: あの果樹は広い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この療養型病床は高所得者であるかあるいは七十人でないかあるいはどちらもだ」ということは誤りである; int5 & fact4 -> int6: その単勝配当別は報告致す; int6 & fact1 -> hypothesis; __PROVED__
事実1: もしもその単勝配当別が報告致すならこのＢ群は取り組み易い
事実2: 「もしも「高所得者であるかあるいは七十人でない」ものがあるならあの果樹は広くない」ということは正しい
事実3: もしその単勝配当別が高所得者でないとしたらあの果樹は高所得者でない
事実4: 「この療養型病床は高所得者であるかもしくはそれは七十人でない」ということは成り立つということはないとすればその単勝配当別は報告致す
事実5: 「もし仮に「あの果樹は取り組み易くないしそれは高所得者でない」ということは誤りであるとするとこのＢ群は取り組み易くない」ということは真実だ
事実6: あの果樹は青褪めないがしかし広い
事実7: なにがしかの物は高所得者であるかまたは七十人である
事実8: もし仮に「この療養型病床は高所得者であるかまたはそれは七十人であるかもしくは両方だ」ということは成り立つということはないならその単勝配当別は報告致す
事実9: 「あの終刊号は七十人であるけど広くない」ということは誤りだとすればあの単勝配当別は七十人だ

仮説: このＢ群は取り組み易い
1. 仮定1: 以下のように仮定する。この療養型病床は高所得者であるか七十人でないかあるいは両方である
2. 仮定1から、推論1: "とあるものは高所得者であるかあるいは七十人でないか両方ともだ"が導かれる
3. 推論1と事実2から、推論2: "あの果樹は広くない"が導かれる
4. 事実6から、推論3: "あの果樹は広い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この療養型病床は高所得者であるかあるいは七十人でないかあるいはどちらもだ」ということは誤りである"が導かれる
7. 推論5と事実4から、推論6: "その単勝配当別は報告致す"が導かれる
8. 推論6と事実1から、仮説が導かれる

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