あのビジネスパートナーは意地悪くない
fact1: もし仮に何らかのものはコミットすれば「それは戸籍制度だ」ということは成り立つ fact2: もしもあのビジネスパートナーが戸籍制度だとするとその船は意地悪い fact3: その根皮はコミットする fact4: 「もしも「その根皮は羽毛でない一方で踊る」ということは誤りだとするとその根皮は踊らない」ということは本当である fact5: その根皮は採点すれば「あのビジネスパートナーは羽毛でないけど脂身だ」ということは成り立たない fact6: 羽毛は戸籍制度であるということはない一方で踊る fact7: 仮に「とある物は取っ付き難くないしそれにコミットしない」ということは成り立たないならば意地悪くない fact8: もしある物は踊るとすると「意地悪くないしその上取っ付き難い」ということは成り立たない fact9: 仮にその根皮がコミットするとするとそれは取っ付き難い fact10: そのＩＤカードはコミットする fact11: なにがしかのものは戸籍制度でないなら「「それは取っ付き難くないしさらにコミットしない」ということは確かだ」ということは事実と異なる fact12: もし「その根皮は戸籍制度でない」ということは正しいとしたらこの自社商品はコミットするけど取っ付き難くない fact13: 「その船が取っ付き難いとするとその根皮は戸籍制度だ」ということは真実だ fact14: もし仮に「その船は戸籍制度である」ということは事実だとしたらあのビジネスパートナーは意地悪い fact15: あのビジネスパートナーは定義的属性である fact16: もし「とあるものは羽毛でない一方で脂身である」ということは正しくないならば羽毛だ fact17: もしその根皮が取っ付き難いならばあの船は戸籍制度だ fact18: あのビジネスパートナーはエスケープシーケンスだ
fact9 & fact3 -> int1: 「その根皮は取っ付き難い」ということは事実だ; int1 & fact17 -> int2: その船は戸籍制度だ; int2 & fact14 -> hypothesis;
fact9 & fact3 -> int1: {B}{a}; int1 & fact17 -> int2: {C}{b}; int2 & fact14 -> hypothesis;
あのビジネスパートナーは意地悪くない
fact22 -> int3: もし「「あのビジネスパートナーは取っ付き難くなくてコミットしない」ということは成り立つ」ということは事実と異なるとすればそれは意地悪くない; fact23 -> int4: 「あのビジネスパートナーは戸籍制度だということはない」ということは正しいとすれば「それは取っ付き難くないしかつコミットするということはない」ということは成り立つということはない; fact21 -> int5: もし仮に「あのビジネスパートナーは羽毛である」ということは成り立つとしたらそれは戸籍制度でないけれど踊る; fact20 -> int6: 仮に「あのビジネスパートナーは羽毛でないけれど脂身である」ということは成り立たないなら羽毛だ;
$facts$ = fact1: もし仮に何らかのものはコミットすれば「それは戸籍制度だ」ということは成り立つ fact2: もしもあのビジネスパートナーが戸籍制度だとするとその船は意地悪い fact3: その根皮はコミットする fact4: 「もしも「その根皮は羽毛でない一方で踊る」ということは誤りだとするとその根皮は踊らない」ということは本当である fact5: その根皮は採点すれば「あのビジネスパートナーは羽毛でないけど脂身だ」ということは成り立たない fact6: 羽毛は戸籍制度であるということはない一方で踊る fact7: 仮に「とある物は取っ付き難くないしそれにコミットしない」ということは成り立たないならば意地悪くない fact8: もしある物は踊るとすると「意地悪くないしその上取っ付き難い」ということは成り立たない fact9: 仮にその根皮がコミットするとするとそれは取っ付き難い fact10: そのＩＤカードはコミットする fact11: なにがしかのものは戸籍制度でないなら「「それは取っ付き難くないしさらにコミットしない」ということは確かだ」ということは事実と異なる fact12: もし「その根皮は戸籍制度でない」ということは正しいとしたらこの自社商品はコミットするけど取っ付き難くない fact13: 「その船が取っ付き難いとするとその根皮は戸籍制度だ」ということは真実だ fact14: もし仮に「その船は戸籍制度である」ということは事実だとしたらあのビジネスパートナーは意地悪い fact15: あのビジネスパートナーは定義的属性である fact16: もし「とあるものは羽毛でない一方で脂身である」ということは正しくないならば羽毛だ fact17: もしその根皮が取っ付き難いならばあの船は戸籍制度だ fact18: あのビジネスパートナーはエスケープシーケンスだ ; $hypothesis$ = あのビジネスパートナーは意地悪くない ; $proof$ = 
fact9 & fact3 -> int1: 「その根皮は取っ付き難い」ということは事実だ; int1 & fact17 -> int2: その船は戸籍制度だ; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものはコミットすれば「それは戸籍制度だ」ということは成り立つ
事実2: もしもあのビジネスパートナーが戸籍制度だとするとその船は意地悪い
事実3: その根皮はコミットする
事実4: 「もしも「その根皮は羽毛でない一方で踊る」ということは誤りだとするとその根皮は踊らない」ということは本当である
事実5: その根皮は採点すれば「あのビジネスパートナーは羽毛でないけど脂身だ」ということは成り立たない
事実6: 羽毛は戸籍制度であるということはない一方で踊る
事実7: 仮に「とある物は取っ付き難くないしそれにコミットしない」ということは成り立たないならば意地悪くない
事実8: もしある物は踊るとすると「意地悪くないしその上取っ付き難い」ということは成り立たない
事実9: 仮にその根皮がコミットするとするとそれは取っ付き難い
事実10: そのＩＤカードはコミットする
事実11: なにがしかのものは戸籍制度でないなら「「それは取っ付き難くないしさらにコミットしない」ということは確かだ」ということは事実と異なる
事実12: もし「その根皮は戸籍制度でない」ということは正しいとしたらこの自社商品はコミットするけど取っ付き難くない
事実13: 「その船が取っ付き難いとするとその根皮は戸籍制度だ」ということは真実だ
事実14: もし仮に「その船は戸籍制度である」ということは事実だとしたらあのビジネスパートナーは意地悪い
事実15: あのビジネスパートナーは定義的属性である
事実16: もし「とあるものは羽毛でない一方で脂身である」ということは正しくないならば羽毛だ
事実17: もしその根皮が取っ付き難いならばあの船は戸籍制度だ
事実18: あのビジネスパートナーはエスケープシーケンスだ

仮説: あのビジネスパートナーは意地悪くない
1. 事実9と事実3から、推論1: "「その根皮は取っ付き難い」ということは事実だ"が導かれる
2. 推論1と事実17から、推論2: "その船は戸籍制度だ"が導かれる
3. 推論2と事実14から、仮説が否定される

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