その蛍光体は気候条件である
fact1: あの雀荘はビット数であるかそれは薬臭いかもしくは両方ともだ fact2: 仮にその男子大学生が気候条件であるとしたらその蛍光体は残り難い fact3: もし「あの雀荘はビット数だ」ということは確かであるならばあの男子大学生は語り掛ける fact4: もし仮にその男子大学生が収用ならば面倒臭い fact5: とある物が語り掛けるならそれは薬臭い fact6: 仮にあの雀荘が薬臭いとするとその男子大学生は語り掛ける fact7: もしもなにがしかの物が語り掛けるとするとそれは逆らえる fact8: もし仮にその男子大学生は懐かないとすれば「黙るし涼む」ということは真実である fact9: もしなんらかの物が残り難いならば収用だ fact10: もしもなんらかのものが逆らえるとしたら残り難い fact11: その男子大学生は懐かない fact12: その男子大学生が黙るし更にそれは面倒臭いとすると「その蛍光体は気候条件でない」ということは成り立つ fact13: もし仮に「なんらかの物は薬臭いけど気候条件でない」ということは成り立たないとすれば気候条件である
fact1 & fact3 & fact6 -> int1: その男子大学生は語り掛ける; fact7 -> int2: もしその男子大学生が語り掛けるなら逆らえる; int1 & int2 -> int3: その男子大学生は逆らえる; fact10 -> int4: もしもその男子大学生が逆らえるとすると残り難い; int3 & int4 -> int5: その男子大学生は残り難い; fact9 -> int6: 「その男子大学生は残り難い」ということは正しいとすれば収用だ; int5 & int6 -> int7: その男子大学生は収用である; int7 & fact4 -> int8: 「その男子大学生は面倒臭い」ということは確かである; fact8 & fact11 -> int9: その男子大学生は黙るし涼む; int9 -> int10: その男子大学生は黙る; int8 & int10 -> int11: その男子大学生は黙るししかも面倒臭い; int11 & fact12 -> hypothesis;
その蛍光体は気候条件である
fact14 -> int12: 仮に「その蛍光体は薬臭いけれど気候条件であるということはない」ということは成り立たないならば気候条件だ;
$facts$ = fact1: あの雀荘はビット数であるかそれは薬臭いかもしくは両方ともだ fact2: 仮にその男子大学生が気候条件であるとしたらその蛍光体は残り難い fact3: もし「あの雀荘はビット数だ」ということは確かであるならばあの男子大学生は語り掛ける fact4: もし仮にその男子大学生が収用ならば面倒臭い fact5: とある物が語り掛けるならそれは薬臭い fact6: 仮にあの雀荘が薬臭いとするとその男子大学生は語り掛ける fact7: もしもなにがしかの物が語り掛けるとするとそれは逆らえる fact8: もし仮にその男子大学生は懐かないとすれば「黙るし涼む」ということは真実である fact9: もしなんらかの物が残り難いならば収用だ fact10: もしもなんらかのものが逆らえるとしたら残り難い fact11: その男子大学生は懐かない fact12: その男子大学生が黙るし更にそれは面倒臭いとすると「その蛍光体は気候条件でない」ということは成り立つ fact13: もし仮に「なんらかの物は薬臭いけど気候条件でない」ということは成り立たないとすれば気候条件である ; $hypothesis$ = その蛍光体は気候条件である ; $proof$ = 
fact1 & fact3 & fact6 -> int1: その男子大学生は語り掛ける; fact7 -> int2: もしその男子大学生が語り掛けるなら逆らえる; int1 & int2 -> int3: その男子大学生は逆らえる; fact10 -> int4: もしもその男子大学生が逆らえるとすると残り難い; int3 & int4 -> int5: その男子大学生は残り難い; fact9 -> int6: 「その男子大学生は残り難い」ということは正しいとすれば収用だ; int5 & int6 -> int7: その男子大学生は収用である; int7 & fact4 -> int8: 「その男子大学生は面倒臭い」ということは確かである; fact8 & fact11 -> int9: その男子大学生は黙るし涼む; int9 -> int10: その男子大学生は黙る; int8 & int10 -> int11: その男子大学生は黙るししかも面倒臭い; int11 & fact12 -> hypothesis; __DISPROVED__
事実1: あの雀荘はビット数であるかそれは薬臭いかもしくは両方ともだ
事実2: 仮にその男子大学生が気候条件であるとしたらその蛍光体は残り難い
事実3: もし「あの雀荘はビット数だ」ということは確かであるならばあの男子大学生は語り掛ける
事実4: もし仮にその男子大学生が収用ならば面倒臭い
事実5: とある物が語り掛けるならそれは薬臭い
事実6: 仮にあの雀荘が薬臭いとするとその男子大学生は語り掛ける
事実7: もしもなにがしかの物が語り掛けるとするとそれは逆らえる
事実8: もし仮にその男子大学生は懐かないとすれば「黙るし涼む」ということは真実である
事実9: もしなんらかの物が残り難いならば収用だ
事実10: もしもなんらかのものが逆らえるとしたら残り難い
事実11: その男子大学生は懐かない
事実12: その男子大学生が黙るし更にそれは面倒臭いとすると「その蛍光体は気候条件でない」ということは成り立つ
事実13: もし仮に「なんらかの物は薬臭いけど気候条件でない」ということは成り立たないとすれば気候条件である

仮説: その蛍光体は気候条件である
1. 事実1と事実3と事実6から、推論1: "その男子大学生は語り掛ける"が導かれる
2. 事実7から、推論2: "もしその男子大学生が語り掛けるなら逆らえる"が導かれる
3. 推論1と推論2から、推論3: "その男子大学生は逆らえる"が導かれる
4. 事実10から、推論4: "もしもその男子大学生が逆らえるとすると残り難い"が導かれる
5. 推論3と推論4から、推論5: "その男子大学生は残り難い"が導かれる
6. 事実9から、推論6: "「その男子大学生は残り難い」ということは正しいとすれば収用だ"が導かれる
7. 推論5と推論6から、推論7: "その男子大学生は収用である"が導かれる
8. 推論7と事実4から、推論8: "「その男子大学生は面倒臭い」ということは確かである"が導かれる
9. 事実8と事実11から、推論9: "その男子大学生は黙るし涼む"が導かれる
10. 推論9から、推論10: "その男子大学生は黙る"が導かれる
11. 推論8と推論10から、推論11: "その男子大学生は黙るししかも面倒臭い"が導かれる
12. 推論11と事実12から、仮説が否定される

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