あの五分増は遠しない
fact1: この設計ビューは実装するしそれは寝泊まりする fact2: 「この伊東派は実装する」ということは本当である fact3: もし仮に「なにかは取り扱う」ということは真実であるならそれはバックアップ出来る fact4: 仮にこの設計ビューが実装するし寝泊まりするとしたらあの五分増は実装するということはない fact5: この設計ビューは実装する fact6: もしも何らかの物が実装しないとするとそれは遠し
fact6 -> int1: もしあの五分増が実装しないとすればそれは遠し; fact1 & fact4 -> int2: 「あの五分増は実装するということはない」ということは成り立つ; int1 & int2 -> hypothesis;
fact6 -> int1: ¬{B}{aa} -> {C}{aa}; fact1 & fact4 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
この設計ビューはバックアップ出来るし実装する
fact7 -> int3: もしもこの設計ビューが取り扱えばバックアップ出来る;
$facts$ = fact1: この設計ビューは実装するしそれは寝泊まりする fact2: 「この伊東派は実装する」ということは本当である fact3: もし仮に「なにかは取り扱う」ということは真実であるならそれはバックアップ出来る fact4: 仮にこの設計ビューが実装するし寝泊まりするとしたらあの五分増は実装するということはない fact5: この設計ビューは実装する fact6: もしも何らかの物が実装しないとするとそれは遠し ; $hypothesis$ = あの五分増は遠しない ; $proof$ = 
fact6 -> int1: もしあの五分増が実装しないとすればそれは遠し; fact1 & fact4 -> int2: 「あの五分増は実装するということはない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この設計ビューは実装するしそれは寝泊まりする
事実2: 「この伊東派は実装する」ということは本当である
事実3: もし仮に「なにかは取り扱う」ということは真実であるならそれはバックアップ出来る
事実4: 仮にこの設計ビューが実装するし寝泊まりするとしたらあの五分増は実装するということはない
事実5: この設計ビューは実装する
事実6: もしも何らかの物が実装しないとするとそれは遠し

仮説: あの五分増は遠しない
1. 事実6から、推論1: "もしあの五分増が実装しないとすればそれは遠し"が導かれる
2. 事実1と事実4から、推論2: "「あの五分増は実装するということはない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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