そのアドレス帳エクスポートツールは押し付けがましい
fact1: 仮にそのアドレス帳エクスポートツールは壊れ難いしまた添い遂げるとしたらそれは押し付けがましかない fact2: 「そのアドレス帳エクスポートツールは添い遂げる」ということは成り立つ fact3: 「その算式は課するししかも打ち難い」ということは嘘である fact4: 仮にその算式が課しないとすればウレタンであるということはない fact5: その算式がウレタンでないとするとその個人権は気高しない fact6: もし仮にその算式がウレタンでないとすればその個人権は人気馬でなくて加えてそれは気高しない fact7: もし仮に「その算式は課するし打ち難い」ということは誤りであるなら「ウレタンでない」ということは事実だ fact8: 「その演目は添い遂げる」ということは成り立つ fact9: もしも「その個人権は人気馬でなくてかつ気高しということはない」ということは真実であるとするとそのアドレス帳エクスポートツールは壊れ難い
fact7 & fact3 -> int1: その算式はウレタンだということはない; int1 & fact6 -> int2: その個人権は人気馬でなくて気高しない; int2 & fact9 -> int3: そのアドレス帳エクスポートツールは壊れ難い; int3 & fact2 -> int4: そのアドレス帳エクスポートツールは壊れ難いしそれは添い遂げる; int4 & fact1 -> hypothesis;
$facts$ = fact1: 仮にそのアドレス帳エクスポートツールは壊れ難いしまた添い遂げるとしたらそれは押し付けがましかない fact2: 「そのアドレス帳エクスポートツールは添い遂げる」ということは成り立つ fact3: 「その算式は課するししかも打ち難い」ということは嘘である fact4: 仮にその算式が課しないとすればウレタンであるということはない fact5: その算式がウレタンでないとするとその個人権は気高しない fact6: もし仮にその算式がウレタンでないとすればその個人権は人気馬でなくて加えてそれは気高しない fact7: もし仮に「その算式は課するし打ち難い」ということは誤りであるなら「ウレタンでない」ということは事実だ fact8: 「その演目は添い遂げる」ということは成り立つ fact9: もしも「その個人権は人気馬でなくてかつ気高しということはない」ということは真実であるとするとそのアドレス帳エクスポートツールは壊れ難い ; $hypothesis$ = そのアドレス帳エクスポートツールは押し付けがましい ; $proof$ = 
fact7 & fact3 -> int1: その算式はウレタンだということはない; int1 & fact6 -> int2: その個人権は人気馬でなくて気高しない; int2 & fact9 -> int3: そのアドレス帳エクスポートツールは壊れ難い; int3 & fact2 -> int4: そのアドレス帳エクスポートツールは壊れ難いしそれは添い遂げる; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にそのアドレス帳エクスポートツールは壊れ難いしまた添い遂げるとしたらそれは押し付けがましかない
事実2: 「そのアドレス帳エクスポートツールは添い遂げる」ということは成り立つ
事実3: 「その算式は課するししかも打ち難い」ということは嘘である
事実4: 仮にその算式が課しないとすればウレタンであるということはない
事実5: その算式がウレタンでないとするとその個人権は気高しない
事実6: もし仮にその算式がウレタンでないとすればその個人権は人気馬でなくて加えてそれは気高しない
事実7: もし仮に「その算式は課するし打ち難い」ということは誤りであるなら「ウレタンでない」ということは事実だ
事実8: 「その演目は添い遂げる」ということは成り立つ
事実9: もしも「その個人権は人気馬でなくてかつ気高しということはない」ということは真実であるとするとそのアドレス帳エクスポートツールは壊れ難い

仮説: そのアドレス帳エクスポートツールは押し付けがましい
1. 事実7と事実3から、推論1: "その算式はウレタンだということはない"が導かれる
2. 推論1と事実6から、推論2: "その個人権は人気馬でなくて気高しない"が導かれる
3. 推論2と事実9から、推論3: "そのアドレス帳エクスポートツールは壊れ難い"が導かれる
4. 推論3と事実2から、推論4: "そのアドレス帳エクスポートツールは壊れ難いしそれは添い遂げる"が導かれる
5. 推論4と事実1から、仮説が否定される

よって、仮説が否定されました。