この準拠は提出順序でない
fact1: もしその人権文化部は芽吹かないなら「この準拠は芽吹かないし悲しくない」ということは間違いだ fact2: 仮に「なんらかの物は芽吹かないししかも悲しくない」ということは間違いならば「それは提出順序でない」ということは成り立つ fact3: その男子用留置場が提出順序でないならこの準拠はぱっとしない fact4: もしその男子用留置場が備蓄するかもしくはそれがぱっとしないとすればあの人権文化部は芽吹かない fact5: その男子用留置場は備蓄するかあるいはそれはぱっとしない fact6: この不行跡は芽吹くかあるいは聞き辛い fact7: 「その男子用留置場は芽吹かなくてその上悲しくない」ということは成り立つということはないとするとこの準拠は提出順序である fact8: その男子用留置場は提出順序でない fact9: 「この準拠は芽吹かないが悲しい」ということは成り立たない
fact4 & fact5 -> int1: その人権文化部は芽吹くということはない; int1 & fact1 -> int2: 「「この準拠は芽吹かなくてしかも悲しくない」ということは成り立たない」ということは偽でない; fact2 -> int3: もし仮に「この準拠は芽吹くということはなくて悲しくない」ということは事実と異なるなら提出順序でない; int2 & int3 -> hypothesis;
fact4 & fact5 -> int1: ¬{B}{b}; int1 & fact1 -> int2: ¬(¬{B}{c} & ¬{C}{c}); fact2 -> int3: ¬(¬{B}{c} & ¬{C}{c}) -> ¬{A}{c}; int2 & int3 -> hypothesis;
「この準拠は提出順序だ」ということは確かだ
$facts$ = fact1: もしその人権文化部は芽吹かないなら「この準拠は芽吹かないし悲しくない」ということは間違いだ fact2: 仮に「なんらかの物は芽吹かないししかも悲しくない」ということは間違いならば「それは提出順序でない」ということは成り立つ fact3: その男子用留置場が提出順序でないならこの準拠はぱっとしない fact4: もしその男子用留置場が備蓄するかもしくはそれがぱっとしないとすればあの人権文化部は芽吹かない fact5: その男子用留置場は備蓄するかあるいはそれはぱっとしない fact6: この不行跡は芽吹くかあるいは聞き辛い fact7: 「その男子用留置場は芽吹かなくてその上悲しくない」ということは成り立つということはないとするとこの準拠は提出順序である fact8: その男子用留置場は提出順序でない fact9: 「この準拠は芽吹かないが悲しい」ということは成り立たない ; $hypothesis$ = この準拠は提出順序でない ; $proof$ = 
fact4 & fact5 -> int1: その人権文化部は芽吹くということはない; int1 & fact1 -> int2: 「「この準拠は芽吹かなくてしかも悲しくない」ということは成り立たない」ということは偽でない; fact2 -> int3: もし仮に「この準拠は芽吹くということはなくて悲しくない」ということは事実と異なるなら提出順序でない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしその人権文化部は芽吹かないなら「この準拠は芽吹かないし悲しくない」ということは間違いだ
事実2: 仮に「なんらかの物は芽吹かないししかも悲しくない」ということは間違いならば「それは提出順序でない」ということは成り立つ
事実3: その男子用留置場が提出順序でないならこの準拠はぱっとしない
事実4: もしその男子用留置場が備蓄するかもしくはそれがぱっとしないとすればあの人権文化部は芽吹かない
事実5: その男子用留置場は備蓄するかあるいはそれはぱっとしない
事実6: この不行跡は芽吹くかあるいは聞き辛い
事実7: 「その男子用留置場は芽吹かなくてその上悲しくない」ということは成り立つということはないとするとこの準拠は提出順序である
事実8: その男子用留置場は提出順序でない
事実9: 「この準拠は芽吹かないが悲しい」ということは成り立たない

仮説: この準拠は提出順序でない
1. 事実4と事実5から、推論1: "その人権文化部は芽吹くということはない"が導かれる
2. 推論1と事実1から、推論2: "「「この準拠は芽吹かなくてしかも悲しくない」ということは成り立たない」ということは偽でない"が導かれる
3. 事実2から、推論3: "もし仮に「この準拠は芽吹くということはなくて悲しくない」ということは事実と異なるなら提出順序でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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