「その莫高窟は底深くて度し難い」ということは嘘である
fact1: もし仮に労労じない物があるとするとこの構成効果は頼り無くてそれに削平する fact2: 仮にこの金券は紛らわしくないならば「このアロケーションサイズは気難しいがそれは零以外でない」ということは成り立たない fact3: 「この構成効果は削平する」ということは真実であるならばあの金券は紛らわしくない fact4: とあるものは四リットル容器でない fact5: もし「四リットル容器であるということはない」物はあるとすると「この技能習得は労労じない」ということは正しい fact6: この金券は紛らわしくないなら「このアロケーションサイズは気難しいということはなくてまた零以外であるということはない」ということは間違いだ fact7: 仮に「このアロケーションサイズは気難しくないし零以外でない」ということは成り立たないとすればそれは度し難くない fact8: このアロケーションサイズは度し難くないとしたら「その莫高窟は底深いし加えて度し難い」ということは成り立たない
fact4 & fact5 -> int1: この技能習得は労労じない; int1 -> int2: 「労労じない」物はある; int2 & fact1 -> int3: この構成効果は頼り無くて加えて削平する; int3 -> int4: この構成効果は削平する; int4 & fact3 -> int5: この金券は紛らわしくない; int5 & fact6 -> int6: 「このアロケーションサイズは気難しくなくてそれにそれは零以外でない」ということは間違いである; int6 & fact7 -> int7: このアロケーションサイズは度し難くない; int7 & fact8 -> hypothesis;
$facts$ = fact1: もし仮に労労じない物があるとするとこの構成効果は頼り無くてそれに削平する fact2: 仮にこの金券は紛らわしくないならば「このアロケーションサイズは気難しいがそれは零以外でない」ということは成り立たない fact3: 「この構成効果は削平する」ということは真実であるならばあの金券は紛らわしくない fact4: とあるものは四リットル容器でない fact5: もし「四リットル容器であるということはない」物はあるとすると「この技能習得は労労じない」ということは正しい fact6: この金券は紛らわしくないなら「このアロケーションサイズは気難しいということはなくてまた零以外であるということはない」ということは間違いだ fact7: 仮に「このアロケーションサイズは気難しくないし零以外でない」ということは成り立たないとすればそれは度し難くない fact8: このアロケーションサイズは度し難くないとしたら「その莫高窟は底深いし加えて度し難い」ということは成り立たない ; $hypothesis$ = 「その莫高窟は底深くて度し難い」ということは嘘である ; $proof$ = 
fact4 & fact5 -> int1: この技能習得は労労じない; int1 -> int2: 「労労じない」物はある; int2 & fact1 -> int3: この構成効果は頼り無くて加えて削平する; int3 -> int4: この構成効果は削平する; int4 & fact3 -> int5: この金券は紛らわしくない; int5 & fact6 -> int6: 「このアロケーションサイズは気難しくなくてそれにそれは零以外でない」ということは間違いである; int6 & fact7 -> int7: このアロケーションサイズは度し難くない; int7 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に労労じない物があるとするとこの構成効果は頼り無くてそれに削平する
事実2: 仮にこの金券は紛らわしくないならば「このアロケーションサイズは気難しいがそれは零以外でない」ということは成り立たない
事実3: 「この構成効果は削平する」ということは真実であるならばあの金券は紛らわしくない
事実4: とあるものは四リットル容器でない
事実5: もし「四リットル容器であるということはない」物はあるとすると「この技能習得は労労じない」ということは正しい
事実6: この金券は紛らわしくないなら「このアロケーションサイズは気難しいということはなくてまた零以外であるということはない」ということは間違いだ
事実7: 仮に「このアロケーションサイズは気難しくないし零以外でない」ということは成り立たないとすればそれは度し難くない
事実8: このアロケーションサイズは度し難くないとしたら「その莫高窟は底深いし加えて度し難い」ということは成り立たない

仮説: 「その莫高窟は底深くて度し難い」ということは嘘である
1. 事実4と事実5から、推論1: "この技能習得は労労じない"が導かれる
2. 推論1から、推論2: "「労労じない」物はある"が導かれる
3. 推論2と事実1から、推論3: "この構成効果は頼り無くて加えて削平する"が導かれる
4. 推論3から、推論4: "この構成効果は削平する"が導かれる
5. 推論4と事実3から、推論5: "この金券は紛らわしくない"が導かれる
6. 推論5と事実6から、推論6: "「このアロケーションサイズは気難しくなくてそれにそれは零以外でない」ということは間違いである"が導かれる
7. 推論6と事実7から、推論7: "このアロケーションサイズは度し難くない"が導かれる
8. 推論7と事実8から、仮説が導かれる

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