「この安全ストラップは歌謡であるかあるいは借り易くないかまたは両方ともである」ということは間違いである
fact1: 何らかの物はむしゃぶり付かないしＢＧＭでないとすると借り易くない fact2: あのジャズ喫茶が分かち合わないならばあの安全ストラップは掻き直さないし副担当でない fact3: もし仮に「その朱引き絵図は気持ち良い」ということは真実だとしたら「あのジャズ喫茶はむしゃぶり付くが分かち合わない」ということは間違いだ fact4: もしあるものはＢＧＭであるとしたらそれは気持ち良い fact5: あのジャズ喫茶は借り易い fact6: あのジャズ喫茶は分かち合うししかも気持ち良い fact7: あのジャズ喫茶は自律機能だ fact8: 「そのキリスト降誕は取り掛かり易くないしおまけにそれは掻き回すということはない」ということは間違っている fact9: もし仮に「何らかのものは取り掛かり易くないし更に掻き回さない」ということは偽だとすると掻き回す fact10: あのジャズ喫茶が歌謡であるとすればこの安全ストラップはむしゃぶり付くということはないしその上ｂＧＭでない fact11: もし「ある物はむしゃぶり付くけど分かち合わない」ということは成り立たないならば分かち合う fact12: もしも「ＢＧＭである」ものがあるとするとその十五日付けはＢＧＭであるかあるいはそれは機械化するかまたは両方である fact13: 借り易くてかつ気持ち良くないものは分かち合わない fact14: 「あのジャズ喫茶は気持ち良い」ということは成り立つとしたらこの安全ストラップはむしゃぶり付かないしさらにＢＧＭでない fact15: もしもそのキリスト降誕は掻き回すとしたら「その公爵はＢＧＭだ」ということは本当である
fact6 -> int1: あのジャズ喫茶は気持ち良い; int1 & fact14 -> int2: この安全ストラップはむしゃぶり付かないしＢＧＭであるということはない; fact1 -> int3: もし仮にこの安全ストラップはむしゃぶり付かないしおまけにＢＧＭでないとしたらそれは借り易くない; int2 & int3 -> int4: この安全ストラップは借り易いということはない; int4 -> hypothesis;
「この安全ストラップは掻き直さないし副担当でない」ということは正しい
$facts$ = fact1: 何らかの物はむしゃぶり付かないしＢＧＭでないとすると借り易くない fact2: あのジャズ喫茶が分かち合わないならばあの安全ストラップは掻き直さないし副担当でない fact3: もし仮に「その朱引き絵図は気持ち良い」ということは真実だとしたら「あのジャズ喫茶はむしゃぶり付くが分かち合わない」ということは間違いだ fact4: もしあるものはＢＧＭであるとしたらそれは気持ち良い fact5: あのジャズ喫茶は借り易い fact6: あのジャズ喫茶は分かち合うししかも気持ち良い fact7: あのジャズ喫茶は自律機能だ fact8: 「そのキリスト降誕は取り掛かり易くないしおまけにそれは掻き回すということはない」ということは間違っている fact9: もし仮に「何らかのものは取り掛かり易くないし更に掻き回さない」ということは偽だとすると掻き回す fact10: あのジャズ喫茶が歌謡であるとすればこの安全ストラップはむしゃぶり付くということはないしその上ｂＧＭでない fact11: もし「ある物はむしゃぶり付くけど分かち合わない」ということは成り立たないならば分かち合う fact12: もしも「ＢＧＭである」ものがあるとするとその十五日付けはＢＧＭであるかあるいはそれは機械化するかまたは両方である fact13: 借り易くてかつ気持ち良くないものは分かち合わない fact14: 「あのジャズ喫茶は気持ち良い」ということは成り立つとしたらこの安全ストラップはむしゃぶり付かないしさらにＢＧＭでない fact15: もしもそのキリスト降誕は掻き回すとしたら「その公爵はＢＧＭだ」ということは本当である ; $hypothesis$ = 「この安全ストラップは歌謡であるかあるいは借り易くないかまたは両方ともである」ということは間違いである ; $proof$ = 
fact6 -> int1: あのジャズ喫茶は気持ち良い; int1 & fact14 -> int2: この安全ストラップはむしゃぶり付かないしＢＧＭであるということはない; fact1 -> int3: もし仮にこの安全ストラップはむしゃぶり付かないしおまけにＢＧＭでないとしたらそれは借り易くない; int2 & int3 -> int4: この安全ストラップは借り易いということはない; int4 -> hypothesis; __DISPROVED__
事実1: 何らかの物はむしゃぶり付かないしＢＧＭでないとすると借り易くない
事実2: あのジャズ喫茶が分かち合わないならばあの安全ストラップは掻き直さないし副担当でない
事実3: もし仮に「その朱引き絵図は気持ち良い」ということは真実だとしたら「あのジャズ喫茶はむしゃぶり付くが分かち合わない」ということは間違いだ
事実4: もしあるものはＢＧＭであるとしたらそれは気持ち良い
事実5: あのジャズ喫茶は借り易い
事実6: あのジャズ喫茶は分かち合うししかも気持ち良い
事実7: あのジャズ喫茶は自律機能だ
事実8: 「そのキリスト降誕は取り掛かり易くないしおまけにそれは掻き回すということはない」ということは間違っている
事実9: もし仮に「何らかのものは取り掛かり易くないし更に掻き回さない」ということは偽だとすると掻き回す
事実10: あのジャズ喫茶が歌謡であるとすればこの安全ストラップはむしゃぶり付くということはないしその上ｂＧＭでない
事実11: もし「ある物はむしゃぶり付くけど分かち合わない」ということは成り立たないならば分かち合う
事実12: もしも「ＢＧＭである」ものがあるとするとその十五日付けはＢＧＭであるかあるいはそれは機械化するかまたは両方である
事実13: 借り易くてかつ気持ち良くないものは分かち合わない
事実14: 「あのジャズ喫茶は気持ち良い」ということは成り立つとしたらこの安全ストラップはむしゃぶり付かないしさらにＢＧＭでない
事実15: もしもそのキリスト降誕は掻き回すとしたら「その公爵はＢＧＭだ」ということは本当である

仮説: 「この安全ストラップは歌謡であるかあるいは借り易くないかまたは両方ともである」ということは間違いである
1. 事実6から、推論1: "あのジャズ喫茶は気持ち良い"が導かれる
2. 推論1と事実14から、推論2: "この安全ストラップはむしゃぶり付かないしＢＧＭであるということはない"が導かれる
3. 事実1から、推論3: "もし仮にこの安全ストラップはむしゃぶり付かないしおまけにＢＧＭでないとしたらそれは借り易くない"が導かれる
4. 推論2と推論3から、推論4: "この安全ストラップは借り易いということはない"が導かれる
5. 推論4から、仮説が否定される

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