この宣戦布告は揺るぎない
fact1: 仮にあの歌読みが揺るぎなくないとするとこの宣戦布告は程遠いし更に揺るぎない fact2: 「この混合性障害は塗り易いしさらにシュートする」ということは誤っている fact3: 「この混合性障害は程遠い」ということは事実だ fact4: もし「この混合性障害は塗り易いしさらにシュートする」ということは誤りなら「あの歌読みは揺るぎなくない」ということは真実だ fact5: あの歌読みは程遠くない
fact4 & fact2 -> int1: あの歌読みは揺るぎないということはない; int1 & fact1 -> int2: この宣戦布告が程遠いしその上揺るぎない; int2 -> hypothesis;
fact4 & fact2 -> int1: ¬{B}{b}; int1 & fact1 -> int2: ({A}{c} & {B}{c}); int2 -> hypothesis;
$facts$ = fact1: 仮にあの歌読みが揺るぎなくないとするとこの宣戦布告は程遠いし更に揺るぎない fact2: 「この混合性障害は塗り易いしさらにシュートする」ということは誤っている fact3: 「この混合性障害は程遠い」ということは事実だ fact4: もし「この混合性障害は塗り易いしさらにシュートする」ということは誤りなら「あの歌読みは揺るぎなくない」ということは真実だ fact5: あの歌読みは程遠くない ; $hypothesis$ = この宣戦布告は揺るぎない ; $proof$ = 
fact4 & fact2 -> int1: あの歌読みは揺るぎないということはない; int1 & fact1 -> int2: この宣戦布告が程遠いしその上揺るぎない; int2 -> hypothesis; __PROVED__
事実1: 仮にあの歌読みが揺るぎなくないとするとこの宣戦布告は程遠いし更に揺るぎない
事実2: 「この混合性障害は塗り易いしさらにシュートする」ということは誤っている
事実3: 「この混合性障害は程遠い」ということは事実だ
事実4: もし「この混合性障害は塗り易いしさらにシュートする」ということは誤りなら「あの歌読みは揺るぎなくない」ということは真実だ
事実5: あの歌読みは程遠くない

仮説: この宣戦布告は揺るぎない
1. 事実4と事実2から、推論1: "あの歌読みは揺るぎないということはない"が導かれる
2. 推論1と事実1から、推論2: "この宣戦布告が程遠いしその上揺るぎない"が導かれる
3. 推論2から、仮説が導かれる

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