この古細菌は二〜三人分である
fact1: もしとある物は張り付けるとすれば「それは実見するということはないしかつ確認し合わない」ということは偽である fact2: もし仮に「「濃くないし優しくない」ということは成り立たない」ものがあればこの古細菌は二〜三人分だ fact3: 「「押さえ兼ねるしまた思い浮かばない」ということは成り立たない」ものはある fact4: 「「押さえ兼ねるしおまけに思い浮かぶ」ということは誤りである」物はある fact5: もしも「とある物は張り付けるということはないかあるいはそれは優しいかあるいは両方ともだ」ということは間違いだとしたらそれは二〜三人分でない fact6: 「「濃いし加えて優しいということはない」ということは成り立たない」ものはある fact7: もしも「「押さえ兼ねるがしかし思い浮かばない」ということは誤っている」ものがあるとすればそのパート・シュクレは張り付けない fact8: もしその関係改善が濃いならこの古細菌は濃くない fact9: もしそのパート・シュクレは張り付けるということはないとすると「濃くないしその上優しいない」ということは成り立たない fact10: 「「二〜三人分だけど張り付けない」ということは間違いである」ものはある fact11: 仮にその関係改善が人間っぽいということはないなら濃いが二〜三人分でない fact12: 「もし仮に「張り付けるということはない」物があるとすればそのパート・シュクレは濃くない」ということは真実である
fact3 & fact7 -> int1: そのパート・シュクレは張り付けない; int1 & fact9 -> int2: 「そのパート・シュクレは濃くなくてしかも優しくない」ということは事実と異なる; int2 -> int3: 「「濃くないし優しくない」ということは成り立たない」ものはある; int3 & fact2 -> hypothesis;
この古細菌は二〜三人分でない
fact13 -> int4: もし「この古細菌は張り付けないかあるいは優しいかもしくはどちらもである」ということは成り立たないとするとそれは二〜三人分でない;
$facts$ = fact1: もしとある物は張り付けるとすれば「それは実見するということはないしかつ確認し合わない」ということは偽である fact2: もし仮に「「濃くないし優しくない」ということは成り立たない」ものがあればこの古細菌は二〜三人分だ fact3: 「「押さえ兼ねるしまた思い浮かばない」ということは成り立たない」ものはある fact4: 「「押さえ兼ねるしおまけに思い浮かぶ」ということは誤りである」物はある fact5: もしも「とある物は張り付けるということはないかあるいはそれは優しいかあるいは両方ともだ」ということは間違いだとしたらそれは二〜三人分でない fact6: 「「濃いし加えて優しいということはない」ということは成り立たない」ものはある fact7: もしも「「押さえ兼ねるがしかし思い浮かばない」ということは誤っている」ものがあるとすればそのパート・シュクレは張り付けない fact8: もしその関係改善が濃いならこの古細菌は濃くない fact9: もしそのパート・シュクレは張り付けるということはないとすると「濃くないしその上優しいない」ということは成り立たない fact10: 「「二〜三人分だけど張り付けない」ということは間違いである」ものはある fact11: 仮にその関係改善が人間っぽいということはないなら濃いが二〜三人分でない fact12: 「もし仮に「張り付けるということはない」物があるとすればそのパート・シュクレは濃くない」ということは真実である ; $hypothesis$ = この古細菌は二〜三人分である ; $proof$ = 
fact3 & fact7 -> int1: そのパート・シュクレは張り付けない; int1 & fact9 -> int2: 「そのパート・シュクレは濃くなくてしかも優しくない」ということは事実と異なる; int2 -> int3: 「「濃くないし優しくない」ということは成り立たない」ものはある; int3 & fact2 -> hypothesis; __PROVED__
事実1: もしとある物は張り付けるとすれば「それは実見するということはないしかつ確認し合わない」ということは偽である
事実2: もし仮に「「濃くないし優しくない」ということは成り立たない」ものがあればこの古細菌は二〜三人分だ
事実3: 「「押さえ兼ねるしまた思い浮かばない」ということは成り立たない」ものはある
事実4: 「「押さえ兼ねるしおまけに思い浮かぶ」ということは誤りである」物はある
事実5: もしも「とある物は張り付けるということはないかあるいはそれは優しいかあるいは両方ともだ」ということは間違いだとしたらそれは二〜三人分でない
事実6: 「「濃いし加えて優しいということはない」ということは成り立たない」ものはある
事実7: もしも「「押さえ兼ねるがしかし思い浮かばない」ということは誤っている」ものがあるとすればそのパート・シュクレは張り付けない
事実8: もしその関係改善が濃いならこの古細菌は濃くない
事実9: もしそのパート・シュクレは張り付けるということはないとすると「濃くないしその上優しいない」ということは成り立たない
事実10: 「「二〜三人分だけど張り付けない」ということは間違いである」ものはある
事実11: 仮にその関係改善が人間っぽいということはないなら濃いが二〜三人分でない
事実12: 「もし仮に「張り付けるということはない」物があるとすればそのパート・シュクレは濃くない」ということは真実である

仮説: この古細菌は二〜三人分である
1. 事実3と事実7から、推論1: "そのパート・シュクレは張り付けない"が導かれる
2. 推論1と事実9から、推論2: "「そのパート・シュクレは濃くなくてしかも優しくない」ということは事実と異なる"が導かれる
3. 推論2から、推論3: "「「濃くないし優しくない」ということは成り立たない」ものはある"が導かれる
4. 推論3と事実2から、仮説が導かれる

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