その千九百八十九Ｂは餓鬼っぽくない
fact1: もしも「鳩山一郎回顧録な」ものがあるとしたらあの芸能系は第○○条であるしその上秋人参である fact2: その七年以下は外し易いがしかし液体酸素でない fact3: その自動化は餓鬼っぽい fact4: もし仮に外し易い物が取れ難いならば餓鬼っぽい fact5: 「その千九百八十九Ｂは秋人参でない」ということは嘘であるとすればそれは取れ難くない fact6: もし仮に「その千九百八十九Ｂは映し出すけれど来易いということはない」ということは事実だとすればそれは秋人参だ fact7: その案内状は秋人参である fact8: 「仮に餓鬼っぽい物が取れ難くないならそれは秋人参である」ということは成り立つ fact9: 全ての物は公刊しない fact10: もし仮に餓鬼っぽいものが秋人参だということはないならばそれは取れ難い fact11: その千九百八十九Ｂは彼我だ fact12: もしその千九百八十九Ｂは外し易くてかつ取れ難いとすればそれは餓鬼っぽい fact13: その千九百八十九Ｂは居為さる fact14: 何らかのものが公刊しないとするとそれは代表取り締まり役でしかもそれは鳩山一郎回顧録である fact15: その千九百八十九Ｂは秋人参であるが御忙しくないとすればそれはつやつやする fact16: もしもその千九百八十九Ｂが秋人参だとするとそれは外し易いし取れ難くない fact17: 仮になにかは外し易いけれど取れ難くないならば餓鬼っぽい fact18: その千九百八十九Ｂは秋人参である fact19: その千九百八十九Ｂは取れ難くない
fact16 & fact18 -> int1: その千九百八十九Ｂは外し易いが取れ難くない; fact17 -> int2: その千九百八十九Ｂが外し易いけれどそれが取れ難くないとしたら餓鬼っぽい; int1 & int2 -> hypothesis;
fact16 & fact18 -> int1: ({AA}{a} & ¬{AB}{a}); fact17 -> int2: ({AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
その千九百八十九Ｂは餓鬼っぽくない
fact22 -> int3: もし仮にその宮廷女房が公刊しないとするとそれは代表取り締まり役で鳩山一郎回顧録である; fact20 -> int4: 「その宮廷女房は公刊しない」ということは確かである; int3 & int4 -> int5: その宮廷女房は代表取り締まり役であるし加えてそれは鳩山一郎回顧録である; int5 -> int6: すべては代表取り締まり役だしまた鳩山一郎回顧録だ; int6 -> int7: あの公衆衛生活動は代表取り締まり役だしその上鳩山一郎回顧録だ; int7 -> int8: あの公衆衛生活動は鳩山一郎回顧録だ; int8 -> int9: 「鳩山一郎回顧録である」物はある; int9 & fact21 -> int10: あの芸能系は第○○条であるしそれに秋人参である; int10 -> int11: あの芸能系は秋人参である;
$facts$ = fact1: もしも「鳩山一郎回顧録な」ものがあるとしたらあの芸能系は第○○条であるしその上秋人参である fact2: その七年以下は外し易いがしかし液体酸素でない fact3: その自動化は餓鬼っぽい fact4: もし仮に外し易い物が取れ難いならば餓鬼っぽい fact5: 「その千九百八十九Ｂは秋人参でない」ということは嘘であるとすればそれは取れ難くない fact6: もし仮に「その千九百八十九Ｂは映し出すけれど来易いということはない」ということは事実だとすればそれは秋人参だ fact7: その案内状は秋人参である fact8: 「仮に餓鬼っぽい物が取れ難くないならそれは秋人参である」ということは成り立つ fact9: 全ての物は公刊しない fact10: もし仮に餓鬼っぽいものが秋人参だということはないならばそれは取れ難い fact11: その千九百八十九Ｂは彼我だ fact12: もしその千九百八十九Ｂは外し易くてかつ取れ難いとすればそれは餓鬼っぽい fact13: その千九百八十九Ｂは居為さる fact14: 何らかのものが公刊しないとするとそれは代表取り締まり役でしかもそれは鳩山一郎回顧録である fact15: その千九百八十九Ｂは秋人参であるが御忙しくないとすればそれはつやつやする fact16: もしもその千九百八十九Ｂが秋人参だとするとそれは外し易いし取れ難くない fact17: 仮になにかは外し易いけれど取れ難くないならば餓鬼っぽい fact18: その千九百八十九Ｂは秋人参である fact19: その千九百八十九Ｂは取れ難くない ; $hypothesis$ = その千九百八十九Ｂは餓鬼っぽくない ; $proof$ = 
fact16 & fact18 -> int1: その千九百八十九Ｂは外し易いが取れ難くない; fact17 -> int2: その千九百八十九Ｂが外し易いけれどそれが取れ難くないとしたら餓鬼っぽい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「鳩山一郎回顧録な」ものがあるとしたらあの芸能系は第○○条であるしその上秋人参である
事実2: その七年以下は外し易いがしかし液体酸素でない
事実3: その自動化は餓鬼っぽい
事実4: もし仮に外し易い物が取れ難いならば餓鬼っぽい
事実5: 「その千九百八十九Ｂは秋人参でない」ということは嘘であるとすればそれは取れ難くない
事実6: もし仮に「その千九百八十九Ｂは映し出すけれど来易いということはない」ということは事実だとすればそれは秋人参だ
事実7: その案内状は秋人参である
事実8: 「仮に餓鬼っぽい物が取れ難くないならそれは秋人参である」ということは成り立つ
事実9: 全ての物は公刊しない
事実10: もし仮に餓鬼っぽいものが秋人参だということはないならばそれは取れ難い
事実11: その千九百八十九Ｂは彼我だ
事実12: もしその千九百八十九Ｂは外し易くてかつ取れ難いとすればそれは餓鬼っぽい
事実13: その千九百八十九Ｂは居為さる
事実14: 何らかのものが公刊しないとするとそれは代表取り締まり役でしかもそれは鳩山一郎回顧録である
事実15: その千九百八十九Ｂは秋人参であるが御忙しくないとすればそれはつやつやする
事実16: もしもその千九百八十九Ｂが秋人参だとするとそれは外し易いし取れ難くない
事実17: 仮になにかは外し易いけれど取れ難くないならば餓鬼っぽい
事実18: その千九百八十九Ｂは秋人参である
事実19: その千九百八十九Ｂは取れ難くない

仮説: その千九百八十九Ｂは餓鬼っぽくない
1. 事実16と事実18から、推論1: "その千九百八十九Ｂは外し易いが取れ難くない"が導かれる
2. 事実17から、推論2: "その千九百八十九Ｂが外し易いけれどそれが取れ難くないとしたら餓鬼っぽい"が導かれる
3. 推論1と推論2から、仮説が否定される

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