「その最終決戦は芽生えないしそれは睦まじくない」ということは成り立つということはない
fact1: その最終決戦は脇方である fact2: 仮にこの作成等が払えばこの半周期は芽生える fact3: この作成等は睦まじい fact4: 仮にあの同店が図々しいとするとこの作成等は払う fact5: もし「この半周期は芽生える」ということは成り立てば「その最終決戦は芽生えないしそれに睦まじくない」ということは成り立たない fact6: あの同店は図々しいかあるいは脇方であるかあるいはどちらもだ fact7: もし仮にあの同店は睦まじいならば「その最終決戦は図々しい」ということは正しい fact8: もしあの同店が脇方ならばこの作成等は払う
fact6 & fact4 & fact8 -> int1: この作成等は払う; int1 & fact2 -> int2: この半周期は芽生える; int2 & fact5 -> hypothesis;
$facts$ = fact1: その最終決戦は脇方である fact2: 仮にこの作成等が払えばこの半周期は芽生える fact3: この作成等は睦まじい fact4: 仮にあの同店が図々しいとするとこの作成等は払う fact5: もし「この半周期は芽生える」ということは成り立てば「その最終決戦は芽生えないしそれに睦まじくない」ということは成り立たない fact6: あの同店は図々しいかあるいは脇方であるかあるいはどちらもだ fact7: もし仮にあの同店は睦まじいならば「その最終決戦は図々しい」ということは正しい fact8: もしあの同店が脇方ならばこの作成等は払う ; $hypothesis$ = 「その最終決戦は芽生えないしそれは睦まじくない」ということは成り立つということはない ; $proof$ = 
fact6 & fact4 & fact8 -> int1: この作成等は払う; int1 & fact2 -> int2: この半周期は芽生える; int2 & fact5 -> hypothesis; __PROVED__
事実1: その最終決戦は脇方である
事実2: 仮にこの作成等が払えばこの半周期は芽生える
事実3: この作成等は睦まじい
事実4: 仮にあの同店が図々しいとするとこの作成等は払う
事実5: もし「この半周期は芽生える」ということは成り立てば「その最終決戦は芽生えないしそれに睦まじくない」ということは成り立たない
事実6: あの同店は図々しいかあるいは脇方であるかあるいはどちらもだ
事実7: もし仮にあの同店は睦まじいならば「その最終決戦は図々しい」ということは正しい
事実8: もしあの同店が脇方ならばこの作成等は払う

仮説: 「その最終決戦は芽生えないしそれは睦まじくない」ということは成り立つということはない
1. 事実6と事実4と事実8から、推論1: "この作成等は払う"が導かれる
2. 推論1と事実2から、推論2: "この半周期は芽生える"が導かれる
3. 推論2と事実5から、仮説が導かれる

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