この循環血漿流量はカミングアウトしないがしかし物凄ーい
fact1: とあるものは保険金であるけれど青っぽくない fact2: ある物は物凄ーいがカミングアウトしない fact3: あの集約化は人間らしい fact4: その茶菓子が減額しないとしたらこの循環血漿流量は青っぽくない fact5: 「何かは保険金であるしそれに青っぽい」ということは誤っていない fact6: もし仮にこの循環血漿流量が保険金であるならその茶菓子は青っぽくない fact7: もし仮にその茶菓子が青っぽくないならばこの循環血漿流量は青っぽくない fact8: 青っぽくない物は戦車隊でないとすれば「保険金だ」ということは確かだ fact9: 何かは微細化するとすればそれは四年契約でない一方で罪深い fact10: 人間らしいものは微細化する fact11: もし保険金が青っぽいということはないとするとその茶菓子はカミングアウトするということはない fact12: 仮にその茶菓子が物凄ーくないとしたらこの循環血漿流量は物凄ーくない fact13: もし仮にその茶菓子がカミングアウトしないとするとこの循環血漿流量はカミングアウトしないけれど物凄ーい fact14: 何らかの物は四年契約でないとすれば「それは監査所見であるかあるいはそれは短期入所である」ということは嘘だ fact15: もし仮になにかは保険金であるならば「それはカミングアウトしないし物凄ーい」ということは成り立たない fact16: 何らかのものはカミングアウトするししかも物凄ーい fact17: あの日足チャートが弾道ミサイルだとしたらその茶菓子は減額しないか青っぽいということはない fact18: 「あの日足チャートは弾道ミサイルでない」ということは偽だ fact19: 仮にこの循環血漿流量が物凄ーくないならばあの茶菓子は物凄ーくない
fact1 & fact11 -> int1: その茶菓子はカミングアウトしない; int1 & fact13 -> hypothesis;
fact1 & fact11 -> int1: ¬{C}{a}; int1 & fact13 -> hypothesis;
「この循環血漿流量はカミングアウトしないがそれは物凄ーい」ということは嘘だ
fact25 -> int2: この循環血漿流量は保険金であるなら「それはカミングアウトしない一方で物凄ーい」ということは事実と異なる; fact22 -> int3: 仮にこの循環血漿流量が青っぽくないしその上それが戦車隊でないとすれば保険金である; fact21 & fact29 -> int4: その茶菓子は減額しないかあるいは青っぽくないかあるいは両方である; int4 & fact23 & fact20 -> int5: この循環血漿流量は青っぽくない; fact28 -> int6: もし仮にあの集約化は四年契約でないとすれば「監査所見であるかあるいは短期入所である」ということは誤りである; fact26 -> int7: あの集約化が微細化するとすれば四年契約でないが罪深い; fact27 -> int8: 「あの集約化は人間らしい」ということは成り立つなら微細化する; int8 & fact24 -> int9: あの集約化は微細化する; int7 & int9 -> int10: あの集約化は四年契約でないけど罪深い; int10 -> int11: あの集約化は四年契約でない; int6 & int11 -> int12: 「あの集約化は監査所見であるかまたは短期入所だ」ということは誤っている; int12 -> int13: 「「監査所見であるかもしくは短期入所であるかもしくは両方だ」ということは成り立つということはない」物はある;
$facts$ = fact1: とあるものは保険金であるけれど青っぽくない fact2: ある物は物凄ーいがカミングアウトしない fact3: あの集約化は人間らしい fact4: その茶菓子が減額しないとしたらこの循環血漿流量は青っぽくない fact5: 「何かは保険金であるしそれに青っぽい」ということは誤っていない fact6: もし仮にこの循環血漿流量が保険金であるならその茶菓子は青っぽくない fact7: もし仮にその茶菓子が青っぽくないならばこの循環血漿流量は青っぽくない fact8: 青っぽくない物は戦車隊でないとすれば「保険金だ」ということは確かだ fact9: 何かは微細化するとすればそれは四年契約でない一方で罪深い fact10: 人間らしいものは微細化する fact11: もし保険金が青っぽいということはないとするとその茶菓子はカミングアウトするということはない fact12: 仮にその茶菓子が物凄ーくないとしたらこの循環血漿流量は物凄ーくない fact13: もし仮にその茶菓子がカミングアウトしないとするとこの循環血漿流量はカミングアウトしないけれど物凄ーい fact14: 何らかの物は四年契約でないとすれば「それは監査所見であるかあるいはそれは短期入所である」ということは嘘だ fact15: もし仮になにかは保険金であるならば「それはカミングアウトしないし物凄ーい」ということは成り立たない fact16: 何らかのものはカミングアウトするししかも物凄ーい fact17: あの日足チャートが弾道ミサイルだとしたらその茶菓子は減額しないか青っぽいということはない fact18: 「あの日足チャートは弾道ミサイルでない」ということは偽だ fact19: 仮にこの循環血漿流量が物凄ーくないならばあの茶菓子は物凄ーくない ; $hypothesis$ = この循環血漿流量はカミングアウトしないがしかし物凄ーい ; $proof$ = 
fact1 & fact11 -> int1: その茶菓子はカミングアウトしない; int1 & fact13 -> hypothesis; __PROVED__
事実1: とあるものは保険金であるけれど青っぽくない
事実2: ある物は物凄ーいがカミングアウトしない
事実3: あの集約化は人間らしい
事実4: その茶菓子が減額しないとしたらこの循環血漿流量は青っぽくない
事実5: 「何かは保険金であるしそれに青っぽい」ということは誤っていない
事実6: もし仮にこの循環血漿流量が保険金であるならその茶菓子は青っぽくない
事実7: もし仮にその茶菓子が青っぽくないならばこの循環血漿流量は青っぽくない
事実8: 青っぽくない物は戦車隊でないとすれば「保険金だ」ということは確かだ
事実9: 何かは微細化するとすればそれは四年契約でない一方で罪深い
事実10: 人間らしいものは微細化する
事実11: もし保険金が青っぽいということはないとするとその茶菓子はカミングアウトするということはない
事実12: 仮にその茶菓子が物凄ーくないとしたらこの循環血漿流量は物凄ーくない
事実13: もし仮にその茶菓子がカミングアウトしないとするとこの循環血漿流量はカミングアウトしないけれど物凄ーい
事実14: 何らかの物は四年契約でないとすれば「それは監査所見であるかあるいはそれは短期入所である」ということは嘘だ
事実15: もし仮になにかは保険金であるならば「それはカミングアウトしないし物凄ーい」ということは成り立たない
事実16: 何らかのものはカミングアウトするししかも物凄ーい
事実17: あの日足チャートが弾道ミサイルだとしたらその茶菓子は減額しないか青っぽいということはない
事実18: 「あの日足チャートは弾道ミサイルでない」ということは偽だ
事実19: 仮にこの循環血漿流量が物凄ーくないならばあの茶菓子は物凄ーくない

仮説: この循環血漿流量はカミングアウトしないがしかし物凄ーい
1. 事実1と事実11から、推論1: "その茶菓子はカミングアウトしない"が導かれる
2. 推論1と事実13から、仮説が導かれる

よって、仮説が証明されました。