あの墓誌はこんがらがる
fact1: その五千五百万人は大皿でない fact2: もし仮にこの弱は飲酒行動であるとすれば「それは服従でない」ということは本当でない fact3: もし仮にその五千五百万人が自己言及するとするとこの弱は服従であるがしかし大皿でない fact4: もし仮にこの弱が服従であるし加えてそれが自己言及するとするとあの墓誌は飲酒行動でない fact5: もしもこの弱が服従だとするとその五千五百万人は大皿でない fact6: 仮にこの弱が重宝がるとするとそれは飲酒行動である fact7: もしその五千五百万人が自己言及するけれど大皿でないとするとあの墓誌はこんがらがらない fact8: もしもこの弱が服従であるならその五千五百万人は自己言及するけれど大皿でない fact9: その五千五百万人が重宝がるとするとそれは大皿だ fact10: もしあの墓誌がこんがらがるとすれば自己言及する fact11: 仮にその五千五百万人は大皿であるならばそれはこんがらがる fact12: この弱は重宝がる fact13: もしもこの弱は服従であるならそれは自己言及する
fact6 & fact12 -> int1: この弱は飲酒行動だ; int1 & fact2 -> int2: この弱は服従である; int2 & fact8 -> int3: その五千五百万人は自己言及するが大皿でない; int3 & fact7 -> hypothesis;
あの墓誌はこんがらがる
$facts$ = fact1: その五千五百万人は大皿でない fact2: もし仮にこの弱は飲酒行動であるとすれば「それは服従でない」ということは本当でない fact3: もし仮にその五千五百万人が自己言及するとするとこの弱は服従であるがしかし大皿でない fact4: もし仮にこの弱が服従であるし加えてそれが自己言及するとするとあの墓誌は飲酒行動でない fact5: もしもこの弱が服従だとするとその五千五百万人は大皿でない fact6: 仮にこの弱が重宝がるとするとそれは飲酒行動である fact7: もしその五千五百万人が自己言及するけれど大皿でないとするとあの墓誌はこんがらがらない fact8: もしもこの弱が服従であるならその五千五百万人は自己言及するけれど大皿でない fact9: その五千五百万人が重宝がるとするとそれは大皿だ fact10: もしあの墓誌がこんがらがるとすれば自己言及する fact11: 仮にその五千五百万人は大皿であるならばそれはこんがらがる fact12: この弱は重宝がる fact13: もしもこの弱は服従であるならそれは自己言及する ; $hypothesis$ = あの墓誌はこんがらがる ; $proof$ = 
fact6 & fact12 -> int1: この弱は飲酒行動だ; int1 & fact2 -> int2: この弱は服従である; int2 & fact8 -> int3: その五千五百万人は自己言及するが大皿でない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: その五千五百万人は大皿でない
事実2: もし仮にこの弱は飲酒行動であるとすれば「それは服従でない」ということは本当でない
事実3: もし仮にその五千五百万人が自己言及するとするとこの弱は服従であるがしかし大皿でない
事実4: もし仮にこの弱が服従であるし加えてそれが自己言及するとするとあの墓誌は飲酒行動でない
事実5: もしもこの弱が服従だとするとその五千五百万人は大皿でない
事実6: 仮にこの弱が重宝がるとするとそれは飲酒行動である
事実7: もしその五千五百万人が自己言及するけれど大皿でないとするとあの墓誌はこんがらがらない
事実8: もしもこの弱が服従であるならその五千五百万人は自己言及するけれど大皿でない
事実9: その五千五百万人が重宝がるとするとそれは大皿だ
事実10: もしあの墓誌がこんがらがるとすれば自己言及する
事実11: 仮にその五千五百万人は大皿であるならばそれはこんがらがる
事実12: この弱は重宝がる
事実13: もしもこの弱は服従であるならそれは自己言及する

仮説: あの墓誌はこんがらがる
1. 事実6と事実12から、推論1: "この弱は飲酒行動だ"が導かれる
2. 推論1と事実2から、推論2: "この弱は服従である"が導かれる
3. 推論2と事実8から、推論3: "その五千五百万人は自己言及するが大皿でない"が導かれる
4. 推論3と事実7から、仮説が否定される

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