「もし命じれば着目出来るけれど重点支援でない」ものはある
fact1: 仮にこの事情説明が着目出来るがしかし重点支援だということはないとするとそれは命じない fact2: 「仮に里帰りするなら出入りするし更にめんどくない」ものはある fact3: もし「この事情説明は着目出来るけどそれは重点支援でない」ということは事実と異なるなら命じない fact4: とあるものは存ぜないなら「めんどいが百足だということはない」ということは事実だということはない fact5: この事情説明は着目出来る fact6: もし仮に「この事情説明は着目出来るしおまけに重点支援だ」ということは嘘であるとすると命じない fact7: もしもこの事情説明が命じればそれは着目出来る fact8: その私事は重点支援でない fact9: もしこの事情説明が着目出来るとしたらそれは溶接不良であるが自費出版しない fact10: 「拙宅なら竹精粋であるしまた涼しい」物はある fact11: 「もし仮に命じるとしたら重点支援でない」物はある
void -> assump2: 以下のように仮定する。「この事情説明は着目出来るけど重点支援でない」ということは嘘である; fact3 & assump2 -> int1: この事情説明は命じない; void -> assump1: 以下のように仮定する。この事情説明は命じる; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この事情説明は着目出来るけれど重点支援でない; [assump1] & int3 -> int4: もしこの事情説明が命じるとすれば着目出来るが重点支援でない; int4 -> hypothesis;
「この事情説明はめんどい一方でそれは百足でない」ということは成り立たない
fact12 -> int5: この事情説明は存ずるということはないとすれば「「めんどいがしかし百足でない」ということは確かである」ということは成り立たない;
$facts$ = fact1: 仮にこの事情説明が着目出来るがしかし重点支援だということはないとするとそれは命じない fact2: 「仮に里帰りするなら出入りするし更にめんどくない」ものはある fact3: もし「この事情説明は着目出来るけどそれは重点支援でない」ということは事実と異なるなら命じない fact4: とあるものは存ぜないなら「めんどいが百足だということはない」ということは事実だということはない fact5: この事情説明は着目出来る fact6: もし仮に「この事情説明は着目出来るしおまけに重点支援だ」ということは嘘であるとすると命じない fact7: もしもこの事情説明が命じればそれは着目出来る fact8: その私事は重点支援でない fact9: もしこの事情説明が着目出来るとしたらそれは溶接不良であるが自費出版しない fact10: 「拙宅なら竹精粋であるしまた涼しい」物はある fact11: 「もし仮に命じるとしたら重点支援でない」物はある ; $hypothesis$ = 「もし命じれば着目出来るけれど重点支援でない」ものはある ; $proof$ = 
void -> assump2: 以下のように仮定する。「この事情説明は着目出来るけど重点支援でない」ということは嘘である; fact3 & assump2 -> int1: この事情説明は命じない; void -> assump1: 以下のように仮定する。この事情説明は命じる; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この事情説明は着目出来るけれど重点支援でない; [assump1] & int3 -> int4: もしこの事情説明が命じるとすれば着目出来るが重点支援でない; int4 -> hypothesis; __PROVED__
事実1: 仮にこの事情説明が着目出来るがしかし重点支援だということはないとするとそれは命じない
事実2: 「仮に里帰りするなら出入りするし更にめんどくない」ものはある
事実3: もし「この事情説明は着目出来るけどそれは重点支援でない」ということは事実と異なるなら命じない
事実4: とあるものは存ぜないなら「めんどいが百足だということはない」ということは事実だということはない
事実5: この事情説明は着目出来る
事実6: もし仮に「この事情説明は着目出来るしおまけに重点支援だ」ということは嘘であるとすると命じない
事実7: もしもこの事情説明が命じればそれは着目出来る
事実8: その私事は重点支援でない
事実9: もしこの事情説明が着目出来るとしたらそれは溶接不良であるが自費出版しない
事実10: 「拙宅なら竹精粋であるしまた涼しい」物はある
事実11: 「もし仮に命じるとしたら重点支援でない」物はある

仮説: 「もし命じれば着目出来るけれど重点支援でない」ものはある
1. 仮定2: 以下のように仮定する。「この事情説明は着目出来るけど重点支援でない」ということは嘘である
2. 事実3と仮定2から、推論1: "この事情説明は命じない"が導かれる
3. 仮定1: 以下のように仮定する。この事情説明は命じる
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この事情説明は着目出来るけれど重点支援でない"が導かれる
6. [仮定1]と推論3から、推論4: "もしこの事情説明が命じるとすれば着目出来るが重点支援でない"が導かれる
7. 推論4から、仮説が導かれる

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