あの大円和尚は婚姻しない
fact1: その経済更生計画はレシートでないなら「あの大円和尚は起こり易いが検索しない」ということは偽だ fact2: もし何らかの物がレシートならば婚姻しない fact3: 「その経済更生計画はレシートであるかあるいは感じ易くない」ということは間違っているとしたらあの大円和尚はレシートだ fact4: その経済更生計画はレシートでない fact5: 仮に「あの古典音楽はブラバスらしくないけれど抜き難い」ということは本当でないとするとその経済更生計画は抜き難くない fact6: 「とあるものは起こり易いがしかし検索しない」ということは成り立たないならば婚姻する fact7: もしあるものは抜き難くないとしたら「それはレシートであるかあるいはそれは感じ易くないかあるいは両方だ」ということは成り立つということはない
fact6 -> int1: 「仮に「あの大円和尚は起こり易いが検索しない」ということは誤りだとするとあの大円和尚は婚姻する」ということは成り立つ; fact4 & fact1 -> int2: 「あの大円和尚は起こり易いけれど検索しない」ということは偽である; int1 & int2 -> hypothesis;
fact6 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact4 & fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
あの大円和尚は婚姻しない
fact8 -> int3: もし仮に「あの大円和尚はレシートだ」ということは本当ならばそれは婚姻しない; fact11 -> int4: 仮にその経済更生計画は抜き難いということはないとすると「それはレシートであるかもしくは感じ易くないかもしくはどちらもである」ということは誤りだ;
$facts$ = fact1: その経済更生計画はレシートでないなら「あの大円和尚は起こり易いが検索しない」ということは偽だ fact2: もし何らかの物がレシートならば婚姻しない fact3: 「その経済更生計画はレシートであるかあるいは感じ易くない」ということは間違っているとしたらあの大円和尚はレシートだ fact4: その経済更生計画はレシートでない fact5: 仮に「あの古典音楽はブラバスらしくないけれど抜き難い」ということは本当でないとするとその経済更生計画は抜き難くない fact6: 「とあるものは起こり易いがしかし検索しない」ということは成り立たないならば婚姻する fact7: もしあるものは抜き難くないとしたら「それはレシートであるかあるいはそれは感じ易くないかあるいは両方だ」ということは成り立つということはない ; $hypothesis$ = あの大円和尚は婚姻しない ; $proof$ = 
fact6 -> int1: 「仮に「あの大円和尚は起こり易いが検索しない」ということは誤りだとするとあの大円和尚は婚姻する」ということは成り立つ; fact4 & fact1 -> int2: 「あの大円和尚は起こり易いけれど検索しない」ということは偽である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その経済更生計画はレシートでないなら「あの大円和尚は起こり易いが検索しない」ということは偽だ
事実2: もし何らかの物がレシートならば婚姻しない
事実3: 「その経済更生計画はレシートであるかあるいは感じ易くない」ということは間違っているとしたらあの大円和尚はレシートだ
事実4: その経済更生計画はレシートでない
事実5: 仮に「あの古典音楽はブラバスらしくないけれど抜き難い」ということは本当でないとするとその経済更生計画は抜き難くない
事実6: 「とあるものは起こり易いがしかし検索しない」ということは成り立たないならば婚姻する
事実7: もしあるものは抜き難くないとしたら「それはレシートであるかあるいはそれは感じ易くないかあるいは両方だ」ということは成り立つということはない

仮説: あの大円和尚は婚姻しない
1. 事実6から、推論1: "「仮に「あの大円和尚は起こり易いが検索しない」ということは誤りだとするとあの大円和尚は婚姻する」ということは成り立つ"が導かれる
2. 事実4と事実1から、推論2: "「あの大円和尚は起こり易いけれど検索しない」ということは偽である"が導かれる
3. 推論1と推論2から、仮説が否定される

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