そのシェイプトゥイーンは移行し易くて反逆する
fact1: もしも「このＰＰＴＰは起こし掛けないかまたは楽しないかまたは両方である」ということは成り立つということはないならばそのシェイプトゥイーンは移行し易い fact2: そのシェイプトゥイーンは欠場である fact3: そのシェイプトゥイーンは欠場だとしたら「反逆する」ということは確かだ fact4: 「このＰＰＴＰは起こし掛けないかまたは楽しないか両方である」ということは間違いだ
fact1 & fact4 -> int1: そのシェイプトゥイーンは移行し易い; fact2 & fact3 -> int2: そのシェイプトゥイーンは反逆する; int1 & int2 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; fact2 & fact3 -> int2: {A}{b}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしも「このＰＰＴＰは起こし掛けないかまたは楽しないかまたは両方である」ということは成り立つということはないならばそのシェイプトゥイーンは移行し易い fact2: そのシェイプトゥイーンは欠場である fact3: そのシェイプトゥイーンは欠場だとしたら「反逆する」ということは確かだ fact4: 「このＰＰＴＰは起こし掛けないかまたは楽しないか両方である」ということは間違いだ ; $hypothesis$ = そのシェイプトゥイーンは移行し易くて反逆する ; $proof$ = 
fact1 & fact4 -> int1: そのシェイプトゥイーンは移行し易い; fact2 & fact3 -> int2: そのシェイプトゥイーンは反逆する; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「このＰＰＴＰは起こし掛けないかまたは楽しないかまたは両方である」ということは成り立つということはないならばそのシェイプトゥイーンは移行し易い
事実2: そのシェイプトゥイーンは欠場である
事実3: そのシェイプトゥイーンは欠場だとしたら「反逆する」ということは確かだ
事実4: 「このＰＰＴＰは起こし掛けないかまたは楽しないか両方である」ということは間違いだ

仮説: そのシェイプトゥイーンは移行し易くて反逆する
1. 事実1と事実4から、推論1: "そのシェイプトゥイーンは移行し易い"が導かれる
2. 事実2と事実3から、推論2: "そのシェイプトゥイーンは反逆する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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