この超出競りは通婚するということはない
fact1: もし仮にこの大仏造立は泥臭いということはないならば「「この超出競りは泥臭くないかそれは情け深いかもしくはどちらもだ」ということは成り立たない」ということは誤っていない fact2: もし「「この大仏造立は泥臭いということはないかそれは冷たい」ということは事実と異ならない」ということは正しくないならそれは情け深くない fact3: もしも「ある物は泥臭くないかまたはそれは情け深い」ということは正しいということはないならばそれは通婚しない fact4: 冷たくなくてまた招き易くないものは泥臭くない fact5: 仮にあの財務諸表体系が実践すらないとするとあの各号は縁付くということはないが情け深い fact6: 「縁付かない」ものはある fact7: 「残り易くない物は冷たくないし招き易くない」ということは真実である fact8: もしも「縁付かない」物があるとするとこの大仏造立は残り易いということはない
fact7 -> int1: この大仏造立が残り易くないとしたらそれは冷たいということはないしさらに招き易いということはない; fact8 & fact6 -> int2: この大仏造立は残り易いということはない; int1 & int2 -> int3: この大仏造立は冷たくなくてそれは招き易くない; fact4 -> int4: この大仏造立が冷たくないしおまけに招き易いということはないならば泥臭くない; int3 & int4 -> int5: この大仏造立は泥臭くない; int5 & fact1 -> int6: 「この超出競りは泥臭くないかそれは情け深い」ということは間違いだ; fact3 -> int7: 仮に「「この超出競りは泥臭くないかあるいは情け深いかあるいはどちらもだ」ということは本当である」ということは間違っているなら通婚しない; int6 & int7 -> hypothesis;
この超出競りは通婚する
$facts$ = fact1: もし仮にこの大仏造立は泥臭いということはないならば「「この超出競りは泥臭くないかそれは情け深いかもしくはどちらもだ」ということは成り立たない」ということは誤っていない fact2: もし「「この大仏造立は泥臭いということはないかそれは冷たい」ということは事実と異ならない」ということは正しくないならそれは情け深くない fact3: もしも「ある物は泥臭くないかまたはそれは情け深い」ということは正しいということはないならばそれは通婚しない fact4: 冷たくなくてまた招き易くないものは泥臭くない fact5: 仮にあの財務諸表体系が実践すらないとするとあの各号は縁付くということはないが情け深い fact6: 「縁付かない」ものはある fact7: 「残り易くない物は冷たくないし招き易くない」ということは真実である fact8: もしも「縁付かない」物があるとするとこの大仏造立は残り易いということはない ; $hypothesis$ = この超出競りは通婚するということはない ; $proof$ = 
fact7 -> int1: この大仏造立が残り易くないとしたらそれは冷たいということはないしさらに招き易いということはない; fact8 & fact6 -> int2: この大仏造立は残り易いということはない; int1 & int2 -> int3: この大仏造立は冷たくなくてそれは招き易くない; fact4 -> int4: この大仏造立が冷たくないしおまけに招き易いということはないならば泥臭くない; int3 & int4 -> int5: この大仏造立は泥臭くない; int5 & fact1 -> int6: 「この超出競りは泥臭くないかそれは情け深い」ということは間違いだ; fact3 -> int7: 仮に「「この超出競りは泥臭くないかあるいは情け深いかあるいはどちらもだ」ということは本当である」ということは間違っているなら通婚しない; int6 & int7 -> hypothesis; __PROVED__
事実1: もし仮にこの大仏造立は泥臭いということはないならば「「この超出競りは泥臭くないかそれは情け深いかもしくはどちらもだ」ということは成り立たない」ということは誤っていない
事実2: もし「「この大仏造立は泥臭いということはないかそれは冷たい」ということは事実と異ならない」ということは正しくないならそれは情け深くない
事実3: もしも「ある物は泥臭くないかまたはそれは情け深い」ということは正しいということはないならばそれは通婚しない
事実4: 冷たくなくてまた招き易くないものは泥臭くない
事実5: 仮にあの財務諸表体系が実践すらないとするとあの各号は縁付くということはないが情け深い
事実6: 「縁付かない」ものはある
事実7: 「残り易くない物は冷たくないし招き易くない」ということは真実である
事実8: もしも「縁付かない」物があるとするとこの大仏造立は残り易いということはない

仮説: この超出競りは通婚するということはない
1. 事実7から、推論1: "この大仏造立が残り易くないとしたらそれは冷たいということはないしさらに招き易いということはない"が導かれる
2. 事実8と事実6から、推論2: "この大仏造立は残り易いということはない"が導かれる
3. 推論1と推論2から、推論3: "この大仏造立は冷たくなくてそれは招き易くない"が導かれる
4. 事実4から、推論4: "この大仏造立が冷たくないしおまけに招き易いということはないならば泥臭くない"が導かれる
5. 推論3と推論4から、推論5: "この大仏造立は泥臭くない"が導かれる
6. 推論5と事実1から、推論6: "「この超出競りは泥臭くないかそれは情け深い」ということは間違いだ"が導かれる
7. 事実3から、推論7: "仮に「「この超出競りは泥臭くないかあるいは情け深いかあるいはどちらもだ」ということは本当である」ということは間違っているなら通婚しない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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