このＭ型は仮想しない
fact1: 「あの尨犬は破壊し始めるしさらに運転席だ」ということは成り立たない fact2: もし仮に「「正覚でロスする」ということは誤っている」ものがあるとしたらこのＭ型は苛々し易い fact3: もしもあの牽制がウールでないかあるいは手向かわないならばこのブラボーグリーンは構え易い fact4: 「「正覚であるししかもロスする」ということは成り立たない」ものはある fact5: もし仮にこのブラボーグリーンが構え易いとすればあのＭ型は使用し難い fact6: もしも「あの尨犬は破壊し始めるし運転席である」ということは成り立たないとするとあの牽制は手向かわない fact7: 使用し難いしかつ苛々し易いものは仮想しない
fact6 & fact1 -> int1: あの牽制は手向かわない; int1 -> int2: あの牽制はウールだということはないかまたはそれは手向かわないか両方だ; int2 & fact3 -> int3: このブラボーグリーンは構え易い; int3 & fact5 -> int4: このＭ型は使用し難い; fact2 & fact4 -> int5: このＭ型は苛々し易い; int4 & int5 -> int6: このＭ型は使用し難いしそれに苛々し易い; fact7 -> int7: もしもこのＭ型は使用し難くて更に苛々し易いとするとそれは仮想しない; int6 & int7 -> hypothesis;
$facts$ = fact1: 「あの尨犬は破壊し始めるしさらに運転席だ」ということは成り立たない fact2: もし仮に「「正覚でロスする」ということは誤っている」ものがあるとしたらこのＭ型は苛々し易い fact3: もしもあの牽制がウールでないかあるいは手向かわないならばこのブラボーグリーンは構え易い fact4: 「「正覚であるししかもロスする」ということは成り立たない」ものはある fact5: もし仮にこのブラボーグリーンが構え易いとすればあのＭ型は使用し難い fact6: もしも「あの尨犬は破壊し始めるし運転席である」ということは成り立たないとするとあの牽制は手向かわない fact7: 使用し難いしかつ苛々し易いものは仮想しない ; $hypothesis$ = このＭ型は仮想しない ; $proof$ = 
fact6 & fact1 -> int1: あの牽制は手向かわない; int1 -> int2: あの牽制はウールだということはないかまたはそれは手向かわないか両方だ; int2 & fact3 -> int3: このブラボーグリーンは構え易い; int3 & fact5 -> int4: このＭ型は使用し難い; fact2 & fact4 -> int5: このＭ型は苛々し易い; int4 & int5 -> int6: このＭ型は使用し難いしそれに苛々し易い; fact7 -> int7: もしもこのＭ型は使用し難くて更に苛々し易いとするとそれは仮想しない; int6 & int7 -> hypothesis; __PROVED__
事実1: 「あの尨犬は破壊し始めるしさらに運転席だ」ということは成り立たない
事実2: もし仮に「「正覚でロスする」ということは誤っている」ものがあるとしたらこのＭ型は苛々し易い
事実3: もしもあの牽制がウールでないかあるいは手向かわないならばこのブラボーグリーンは構え易い
事実4: 「「正覚であるししかもロスする」ということは成り立たない」ものはある
事実5: もし仮にこのブラボーグリーンが構え易いとすればあのＭ型は使用し難い
事実6: もしも「あの尨犬は破壊し始めるし運転席である」ということは成り立たないとするとあの牽制は手向かわない
事実7: 使用し難いしかつ苛々し易いものは仮想しない

仮説: このＭ型は仮想しない
1. 事実6と事実1から、推論1: "あの牽制は手向かわない"が導かれる
2. 推論1から、推論2: "あの牽制はウールだということはないかまたはそれは手向かわないか両方だ"が導かれる
3. 推論2と事実3から、推論3: "このブラボーグリーンは構え易い"が導かれる
4. 推論3と事実5から、推論4: "このＭ型は使用し難い"が導かれる
5. 事実2と事実4から、推論5: "このＭ型は苛々し易い"が導かれる
6. 推論4と推論5から、推論6: "このＭ型は使用し難いしそれに苛々し易い"が導かれる
7. 事実7から、推論7: "もしもこのＭ型は使用し難くて更に苛々し易いとするとそれは仮想しない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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