「あの大学図書館は御彼岸であるけれど発案しない」ということは成り立たない
fact1: もしもこの国民一人一人がアメリカらしくないとするとこの発達中はみっとも可愛いしそれは混入し易い fact2: 仮に「この理財局は発案するけどそれは芦田内閣でない」ということは成り立たないならばあの喫煙マナーは芦田内閣だ fact3: 芦田内閣は御彼岸である fact4: 仮にとある物は芦田内閣であるとしたらそれは御彼岸であるが発案しない fact5: もしそのＣオアが修正申告等だが御救い下さらないならこの苦渋は修正申告等だ fact6: その変死は黄色くないかあるいは威張り散らさない fact7: あの事務局は物らしいということはない fact8: もしもある物が威張り散らさないとしたら分家しない fact9: 仮に「何かは分家しない」ということは事実ならばアメリカらしくない fact10: 「この発達中は社会保障でないがばつだ」ということは誤っているとするとそのＣオアは昆虫でない fact11: もしこの苦渋は修正申告等なら「この理財局は発案するけど芦田内閣でない」ということは成り立たない fact12: 「あの大学図書館が介すしその上芦田内閣である」ということは正しい fact13: あの大学図書館は介す fact14: もし仮にあの事務局が物らしくないしさらにそれが威張り散らさないとするとこの国民一人一人は威張り散らさない fact15: もしもあるものが介さないなら雄々しくてかつそれは羨ましい fact16: あの大学図書館は御彼岸である fact17: 仮にとあるものは昆虫でないとしたら修正申告等だが御救い下さらない fact18: 仮にとあるものはみっとも可愛いなら「それは社会保障でないがばつである」ということは嘘だ fact19: もし「あの喫煙マナーは介さないけどそれは御彼岸だ」ということは間違いならあの大学図書館は介さない fact20: もしもなにかは芦田内閣であるとしたら「介さなくてその上それは御彼岸である」ということは誤っている
fact12 -> int1: あの大学図書館は芦田内閣だ; fact4 -> int2: もしあの大学図書館は芦田内閣だとすれば「御彼岸であるし更に発案しない」ということは正しい; int1 & int2 -> hypothesis;
fact12 -> int1: {B}{a}; fact4 -> int2: {B}{a} -> ({C}{a} & ¬{D}{a}); int1 & int2 -> hypothesis;
あの大学図書館は雄々しいしそれに羨ましい
fact35 -> int3: もし仮にあの大学図書館が介さないならば雄々しいし更に羨ましい; fact23 -> int4: もしも「あの喫煙マナーは芦田内閣だ」ということは成り立つとすると「「それは介さない一方で御彼岸である」ということは真実だ」ということは成り立つということはない; fact28 -> int5: もし「そのＣオアは昆虫でない」ということは正しいならば修正申告等だ一方で御救い下さらない; fact21 -> int6: もし仮にこの発達中はみっとも可愛いとすれば「社会保障でないけどばつである」ということは嘘だ; fact31 -> int7: 仮にこの国民一人一人は分家しないとすれば「アメリカらしくない」ということは成り立つ; fact30 -> int8: 「この国民一人一人が威張り散らさないとするとこの国民一人一人は分家しない」ということは真実である; fact24 -> int9: なんらかのものは黄色くないか威張り散らさないかまたはどちらもである;
$facts$ = fact1: もしもこの国民一人一人がアメリカらしくないとするとこの発達中はみっとも可愛いしそれは混入し易い fact2: 仮に「この理財局は発案するけどそれは芦田内閣でない」ということは成り立たないならばあの喫煙マナーは芦田内閣だ fact3: 芦田内閣は御彼岸である fact4: 仮にとある物は芦田内閣であるとしたらそれは御彼岸であるが発案しない fact5: もしそのＣオアが修正申告等だが御救い下さらないならこの苦渋は修正申告等だ fact6: その変死は黄色くないかあるいは威張り散らさない fact7: あの事務局は物らしいということはない fact8: もしもある物が威張り散らさないとしたら分家しない fact9: 仮に「何かは分家しない」ということは事実ならばアメリカらしくない fact10: 「この発達中は社会保障でないがばつだ」ということは誤っているとするとそのＣオアは昆虫でない fact11: もしこの苦渋は修正申告等なら「この理財局は発案するけど芦田内閣でない」ということは成り立たない fact12: 「あの大学図書館が介すしその上芦田内閣である」ということは正しい fact13: あの大学図書館は介す fact14: もし仮にあの事務局が物らしくないしさらにそれが威張り散らさないとするとこの国民一人一人は威張り散らさない fact15: もしもあるものが介さないなら雄々しくてかつそれは羨ましい fact16: あの大学図書館は御彼岸である fact17: 仮にとあるものは昆虫でないとしたら修正申告等だが御救い下さらない fact18: 仮にとあるものはみっとも可愛いなら「それは社会保障でないがばつである」ということは嘘だ fact19: もし「あの喫煙マナーは介さないけどそれは御彼岸だ」ということは間違いならあの大学図書館は介さない fact20: もしもなにかは芦田内閣であるとしたら「介さなくてその上それは御彼岸である」ということは誤っている ; $hypothesis$ = 「あの大学図書館は御彼岸であるけれど発案しない」ということは成り立たない ; $proof$ = 
fact12 -> int1: あの大学図書館は芦田内閣だ; fact4 -> int2: もしあの大学図書館は芦田内閣だとすれば「御彼岸であるし更に発案しない」ということは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもこの国民一人一人がアメリカらしくないとするとこの発達中はみっとも可愛いしそれは混入し易い
事実2: 仮に「この理財局は発案するけどそれは芦田内閣でない」ということは成り立たないならばあの喫煙マナーは芦田内閣だ
事実3: 芦田内閣は御彼岸である
事実4: 仮にとある物は芦田内閣であるとしたらそれは御彼岸であるが発案しない
事実5: もしそのＣオアが修正申告等だが御救い下さらないならこの苦渋は修正申告等だ
事実6: その変死は黄色くないかあるいは威張り散らさない
事実7: あの事務局は物らしいということはない
事実8: もしもある物が威張り散らさないとしたら分家しない
事実9: 仮に「何かは分家しない」ということは事実ならばアメリカらしくない
事実10: 「この発達中は社会保障でないがばつだ」ということは誤っているとするとそのＣオアは昆虫でない
事実11: もしこの苦渋は修正申告等なら「この理財局は発案するけど芦田内閣でない」ということは成り立たない
事実12: 「あの大学図書館が介すしその上芦田内閣である」ということは正しい
事実13: あの大学図書館は介す
事実14: もし仮にあの事務局が物らしくないしさらにそれが威張り散らさないとするとこの国民一人一人は威張り散らさない
事実15: もしもあるものが介さないなら雄々しくてかつそれは羨ましい
事実16: あの大学図書館は御彼岸である
事実17: 仮にとあるものは昆虫でないとしたら修正申告等だが御救い下さらない
事実18: 仮にとあるものはみっとも可愛いなら「それは社会保障でないがばつである」ということは嘘だ
事実19: もし「あの喫煙マナーは介さないけどそれは御彼岸だ」ということは間違いならあの大学図書館は介さない
事実20: もしもなにかは芦田内閣であるとしたら「介さなくてその上それは御彼岸である」ということは誤っている

仮説: 「あの大学図書館は御彼岸であるけれど発案しない」ということは成り立たない
1. 事実12から、推論1: "あの大学図書館は芦田内閣だ"が導かれる
2. 事実4から、推論2: "もしあの大学図書館は芦田内閣だとすれば「御彼岸であるし更に発案しない」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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