この八ビットコードは使い切る
fact1: 生え易くない物はアニソルムだ fact2: 仮にこの八ビットコードはアニソルムでないなら再任する fact3: もし仮にこの八ビットコードが生え易いならそれは成り行かないかまたは人的資本でないかまたは両方である fact4: あの社会的成功は濃くないかあるいは立て難くないかあるいはどちらもである fact5: もし「この八ビットコードは胸苦しい」ということは真実なら「やくざっぽくないか使い切らないかまたは両方ともだ」ということは成り立つ fact6: もしもとあるものが誇らないとすればそれは太い fact7: この八ビットコードは太い fact8: もし仮になにがしかのものは要求仕様書でないとすれば「それは直接作用である」ということは事実だ fact9: アニソルムは使い切る fact10: 「この八ビットコードが誇ればこの八ビットコードは粟立たないか伸縮するということはないかあるいは両方ともである」ということは真実である fact11: この八ビットコードは生え易くないかそれは消火でない fact12: もしこの八ビットコードが太いならばそれは誇るということはないかまたは生え易くないかあるいはどちらもだ fact13: 仮になんらかのものが誇らないとしたらアニソルムである fact14: 「この八ビットコードは突き込む」ということは事実である
fact13 -> int1: この八ビットコードが誇らないとするとアニソルムである; fact7 & fact12 -> int2: この八ビットコードは誇らないかもしくは生え易くない; fact1 -> int3: この八ビットコードは生え易くないならば「それはアニソルムだ」ということは真実だ; int1 & int2 & int3 -> int4: この八ビットコードはアニソルムである; fact9 -> int5: もし仮にこの八ビットコードはアニソルムであるとすると使い切る; int4 & int5 -> hypothesis;
$facts$ = fact1: 生え易くない物はアニソルムだ fact2: 仮にこの八ビットコードはアニソルムでないなら再任する fact3: もし仮にこの八ビットコードが生え易いならそれは成り行かないかまたは人的資本でないかまたは両方である fact4: あの社会的成功は濃くないかあるいは立て難くないかあるいはどちらもである fact5: もし「この八ビットコードは胸苦しい」ということは真実なら「やくざっぽくないか使い切らないかまたは両方ともだ」ということは成り立つ fact6: もしもとあるものが誇らないとすればそれは太い fact7: この八ビットコードは太い fact8: もし仮になにがしかのものは要求仕様書でないとすれば「それは直接作用である」ということは事実だ fact9: アニソルムは使い切る fact10: 「この八ビットコードが誇ればこの八ビットコードは粟立たないか伸縮するということはないかあるいは両方ともである」ということは真実である fact11: この八ビットコードは生え易くないかそれは消火でない fact12: もしこの八ビットコードが太いならばそれは誇るということはないかまたは生え易くないかあるいはどちらもだ fact13: 仮になんらかのものが誇らないとしたらアニソルムである fact14: 「この八ビットコードは突き込む」ということは事実である ; $hypothesis$ = この八ビットコードは使い切る ; $proof$ = 
fact13 -> int1: この八ビットコードが誇らないとするとアニソルムである; fact7 & fact12 -> int2: この八ビットコードは誇らないかもしくは生え易くない; fact1 -> int3: この八ビットコードは生え易くないならば「それはアニソルムだ」ということは真実だ; int1 & int2 & int3 -> int4: この八ビットコードはアニソルムである; fact9 -> int5: もし仮にこの八ビットコードはアニソルムであるとすると使い切る; int4 & int5 -> hypothesis; __PROVED__
事実1: 生え易くない物はアニソルムだ
事実2: 仮にこの八ビットコードはアニソルムでないなら再任する
事実3: もし仮にこの八ビットコードが生え易いならそれは成り行かないかまたは人的資本でないかまたは両方である
事実4: あの社会的成功は濃くないかあるいは立て難くないかあるいはどちらもである
事実5: もし「この八ビットコードは胸苦しい」ということは真実なら「やくざっぽくないか使い切らないかまたは両方ともだ」ということは成り立つ
事実6: もしもとあるものが誇らないとすればそれは太い
事実7: この八ビットコードは太い
事実8: もし仮になにがしかのものは要求仕様書でないとすれば「それは直接作用である」ということは事実だ
事実9: アニソルムは使い切る
事実10: 「この八ビットコードが誇ればこの八ビットコードは粟立たないか伸縮するということはないかあるいは両方ともである」ということは真実である
事実11: この八ビットコードは生え易くないかそれは消火でない
事実12: もしこの八ビットコードが太いならばそれは誇るということはないかまたは生え易くないかあるいはどちらもだ
事実13: 仮になんらかのものが誇らないとしたらアニソルムである
事実14: 「この八ビットコードは突き込む」ということは事実である

仮説: この八ビットコードは使い切る
1. 事実13から、推論1: "この八ビットコードが誇らないとするとアニソルムである"が導かれる
2. 事実7と事実12から、推論2: "この八ビットコードは誇らないかもしくは生え易くない"が導かれる
3. 事実1から、推論3: "この八ビットコードは生え易くないならば「それはアニソルムだ」ということは真実だ"が導かれる
4. 推論1と推論2と推論3から、推論4: "この八ビットコードはアニソルムである"が導かれる
5. 事実9から、推論5: "もし仮にこの八ビットコードはアニソルムであるとすると使い切る"が導かれる
6. 推論4と推論5から、仮説が導かれる

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