「この文字版は予知しない」ということは事実である
fact1: もしあの市場労働が思慮深いならばこのワンフロアは思慮深い fact2: もしも「このワンフロアは努力次第であるし更にそれは思慮深い」ということは正しいとすればその○○先生はぶら下がらない fact3: あの市場労働は思慮深い fact4: もし仮にその大量死が強しならこのワンフロアは努力次第である fact5: もしその○○先生はぶら下がらないならばあの文字版はぶら下がらないしさらにプラスマイナスであるということはない fact6: 仮にあの市場労働がぶら下がるということはないし努力次第でないとするとそれは思慮深くない fact7: その大量死は強し fact8: もしなにかはぶら下がらないしそれにプラスマイナスでないとすると予知しない
fact4 & fact7 -> int1: このワンフロアは努力次第だ; fact1 & fact3 -> int2: このワンフロアは思慮深い; int1 & int2 -> int3: このワンフロアは努力次第であるしまた思慮深い; int3 & fact2 -> int4: その○○先生はぶら下がらない; int4 & fact5 -> int5: この文字版はぶら下がらないしプラスマイナスでない; fact8 -> int6: もしこの文字版はぶら下がらなくてそれにプラスマイナスでないなら予知しない; int5 & int6 -> hypothesis;
$facts$ = fact1: もしあの市場労働が思慮深いならばこのワンフロアは思慮深い fact2: もしも「このワンフロアは努力次第であるし更にそれは思慮深い」ということは正しいとすればその○○先生はぶら下がらない fact3: あの市場労働は思慮深い fact4: もし仮にその大量死が強しならこのワンフロアは努力次第である fact5: もしその○○先生はぶら下がらないならばあの文字版はぶら下がらないしさらにプラスマイナスであるということはない fact6: 仮にあの市場労働がぶら下がるということはないし努力次第でないとするとそれは思慮深くない fact7: その大量死は強し fact8: もしなにかはぶら下がらないしそれにプラスマイナスでないとすると予知しない ; $hypothesis$ = 「この文字版は予知しない」ということは事実である ; $proof$ = 
fact4 & fact7 -> int1: このワンフロアは努力次第だ; fact1 & fact3 -> int2: このワンフロアは思慮深い; int1 & int2 -> int3: このワンフロアは努力次第であるしまた思慮深い; int3 & fact2 -> int4: その○○先生はぶら下がらない; int4 & fact5 -> int5: この文字版はぶら下がらないしプラスマイナスでない; fact8 -> int6: もしこの文字版はぶら下がらなくてそれにプラスマイナスでないなら予知しない; int5 & int6 -> hypothesis; __PROVED__
事実1: もしあの市場労働が思慮深いならばこのワンフロアは思慮深い
事実2: もしも「このワンフロアは努力次第であるし更にそれは思慮深い」ということは正しいとすればその○○先生はぶら下がらない
事実3: あの市場労働は思慮深い
事実4: もし仮にその大量死が強しならこのワンフロアは努力次第である
事実5: もしその○○先生はぶら下がらないならばあの文字版はぶら下がらないしさらにプラスマイナスであるということはない
事実6: 仮にあの市場労働がぶら下がるということはないし努力次第でないとするとそれは思慮深くない
事実7: その大量死は強し
事実8: もしなにかはぶら下がらないしそれにプラスマイナスでないとすると予知しない

仮説: 「この文字版は予知しない」ということは事実である
1. 事実4と事実7から、推論1: "このワンフロアは努力次第だ"が導かれる
2. 事実1と事実3から、推論2: "このワンフロアは思慮深い"が導かれる
3. 推論1と推論2から、推論3: "このワンフロアは努力次第であるしまた思慮深い"が導かれる
4. 推論3と事実2から、推論4: "その○○先生はぶら下がらない"が導かれる
5. 推論4と事実5から、推論5: "この文字版はぶら下がらないしプラスマイナスでない"が導かれる
6. 事実8から、推論6: "もしこの文字版はぶら下がらなくてそれにプラスマイナスでないなら予知しない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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