この御両親は村上水軍でない
fact1: もしもこのタイプＡ行動が村上水軍であるとすればあの御両親はすばしこくない fact2: もし何らかの物が開発・設計でないとするとそれはすばしこくてかつそれは村上水軍でない fact3: 仮に「あの使徒は教え始めなくて誤り無くない」ということは事実と異なるとしたら搾乳牛だ fact4: もしこのタイプＡ行動はすばしこくないなら「それは関係深い一方で逆転写しない」ということは成り立たない fact5: このタイプＡ行動は関係深い fact6: あの骨化は極まりないけど工賃でない fact7: 「このタイプＡ行動はすばしこくない」ということは確かだ fact8: この御両親が村上水軍だとすればこのタイプＡ行動は関係深いけれど逆転写しない fact9: このタイプＡ行動は関係深いがしかしそれは村上水軍でない fact10: 仮にあの使徒は搾乳牛ならば「開発・設計でなくて漏れ無いということはない」ということは誤っている
void -> assump1: 以下のように仮定する。この御両親は村上水軍である; fact8 & assump1 -> int1: このタイプＡ行動は関係深いがしかし逆転写しない; fact7 & fact4 -> int2: 「このタイプＡ行動は関係深い一方で逆転写しない」ということは偽である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この御両親は村上水軍である
$facts$ = fact1: もしもこのタイプＡ行動が村上水軍であるとすればあの御両親はすばしこくない fact2: もし何らかの物が開発・設計でないとするとそれはすばしこくてかつそれは村上水軍でない fact3: 仮に「あの使徒は教え始めなくて誤り無くない」ということは事実と異なるとしたら搾乳牛だ fact4: もしこのタイプＡ行動はすばしこくないなら「それは関係深い一方で逆転写しない」ということは成り立たない fact5: このタイプＡ行動は関係深い fact6: あの骨化は極まりないけど工賃でない fact7: 「このタイプＡ行動はすばしこくない」ということは確かだ fact8: この御両親が村上水軍だとすればこのタイプＡ行動は関係深いけれど逆転写しない fact9: このタイプＡ行動は関係深いがしかしそれは村上水軍でない fact10: 仮にあの使徒は搾乳牛ならば「開発・設計でなくて漏れ無いということはない」ということは誤っている ; $hypothesis$ = この御両親は村上水軍でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この御両親は村上水軍である; fact8 & assump1 -> int1: このタイプＡ行動は関係深いがしかし逆転写しない; fact7 & fact4 -> int2: 「このタイプＡ行動は関係深い一方で逆転写しない」ということは偽である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもこのタイプＡ行動が村上水軍であるとすればあの御両親はすばしこくない
事実2: もし何らかの物が開発・設計でないとするとそれはすばしこくてかつそれは村上水軍でない
事実3: 仮に「あの使徒は教え始めなくて誤り無くない」ということは事実と異なるとしたら搾乳牛だ
事実4: もしこのタイプＡ行動はすばしこくないなら「それは関係深い一方で逆転写しない」ということは成り立たない
事実5: このタイプＡ行動は関係深い
事実6: あの骨化は極まりないけど工賃でない
事実7: 「このタイプＡ行動はすばしこくない」ということは確かだ
事実8: この御両親が村上水軍だとすればこのタイプＡ行動は関係深いけれど逆転写しない
事実9: このタイプＡ行動は関係深いがしかしそれは村上水軍でない
事実10: 仮にあの使徒は搾乳牛ならば「開発・設計でなくて漏れ無いということはない」ということは誤っている

仮説: この御両親は村上水軍でない
1. 仮定1: 以下のように仮定する。この御両親は村上水軍である
2. 事実8と仮定1から、推論1: "このタイプＡ行動は関係深いがしかし逆転写しない"が導かれる
3. 事実7と事実4から、推論2: "「このタイプＡ行動は関係深い一方で逆転写しない」ということは偽である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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