このオンバランスは久しくないけどそれは加盟する
fact1: もし「その冬芽は久しくない」ということは間違いでないとしたらあの至高は久しいけど陥り易いということはない fact2: 仮に「民家であるしまた恭しい」ものがあるとしたらその冬芽は久しいということはない fact3: その電化は民家である fact4: とある物は再婚するが千九百九十年代初頭でない fact5: 「加盟する」ものはある fact6: もしあの至高が久しいならばこのオンバランスは久しくないが加盟する fact7: もし仮になにがしかのものが再婚するがそれが千九百九十年代初頭でないならその電化は恭しい
fact4 & fact7 -> int1: その電化は恭しい; int1 & fact3 -> int2: その電化は民家であるしそれは恭しい; int2 -> int3: ある物は民家でそれは恭しい; int3 & fact2 -> int4: その冬芽は久しいということはない; int4 & fact1 -> int5: あの至高は久しい一方で陥り易くない; int5 -> int6: あの至高は久しい; int6 & fact6 -> hypothesis;
$facts$ = fact1: もし「その冬芽は久しくない」ということは間違いでないとしたらあの至高は久しいけど陥り易いということはない fact2: 仮に「民家であるしまた恭しい」ものがあるとしたらその冬芽は久しいということはない fact3: その電化は民家である fact4: とある物は再婚するが千九百九十年代初頭でない fact5: 「加盟する」ものはある fact6: もしあの至高が久しいならばこのオンバランスは久しくないが加盟する fact7: もし仮になにがしかのものが再婚するがそれが千九百九十年代初頭でないならその電化は恭しい ; $hypothesis$ = このオンバランスは久しくないけどそれは加盟する ; $proof$ = 
fact4 & fact7 -> int1: その電化は恭しい; int1 & fact3 -> int2: その電化は民家であるしそれは恭しい; int2 -> int3: ある物は民家でそれは恭しい; int3 & fact2 -> int4: その冬芽は久しいということはない; int4 & fact1 -> int5: あの至高は久しい一方で陥り易くない; int5 -> int6: あの至高は久しい; int6 & fact6 -> hypothesis; __PROVED__
事実1: もし「その冬芽は久しくない」ということは間違いでないとしたらあの至高は久しいけど陥り易いということはない
事実2: 仮に「民家であるしまた恭しい」ものがあるとしたらその冬芽は久しいということはない
事実3: その電化は民家である
事実4: とある物は再婚するが千九百九十年代初頭でない
事実5: 「加盟する」ものはある
事実6: もしあの至高が久しいならばこのオンバランスは久しくないが加盟する
事実7: もし仮になにがしかのものが再婚するがそれが千九百九十年代初頭でないならその電化は恭しい

仮説: このオンバランスは久しくないけどそれは加盟する
1. 事実4と事実7から、推論1: "その電化は恭しい"が導かれる
2. 推論1と事実3から、推論2: "その電化は民家であるしそれは恭しい"が導かれる
3. 推論2から、推論3: "ある物は民家でそれは恭しい"が導かれる
4. 推論3と事実2から、推論4: "その冬芽は久しいということはない"が導かれる
5. 推論4と事実1から、推論5: "あの至高は久しい一方で陥り易くない"が導かれる
6. 推論5から、推論6: "あの至高は久しい"が導かれる
7. 推論6と事実6から、仮説が導かれる

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