あの交付申請は仲睦まじくない
fact1: あの買い気は掻き易い fact2: あの不十分さは自己コントロール出来るし掻き易い fact3: あの中外は援助等であるかあるいは特定する fact4: もしあの中外が援助等でないかまたはそれが特定するかもしくは両方だとすればあの丸見えは装置するということはない fact5: あの交付申請が特定しないとすれば自己コントロール出来なくてその上それは掻き易い fact6: もし仮にあの丸見えが装置しないならばあの買い気は茶色い fact7: もし仮にあの買い気が茶色いかあるいは嫉妬深くないかどちらもならあの交付申請は仲睦まじい fact8: もしもあの不十分さは自己コントロール出来るとしたら「あの中外は特定する」ということは確かである fact9: 仮にある物が自己コントロール出来ないけどそれが掻き易いとしたらそれは仲睦まじくない
fact2 -> int1: あの不十分さは自己コントロール出来る; int1 & fact8 -> int2: あの中外は特定する; int2 -> int3: あの中外は援助等でないか特定するかもしくは両方ともだ; int3 & fact4 -> int4: あの丸見えは装置しない; int4 & fact6 -> int5: あの買い気は茶色い; int5 -> int6: あの買い気は茶色いかあるいはそれは嫉妬深くないか両方だ; int6 & fact7 -> hypothesis;
あの交付申請は仲睦まじいということはない
fact10 -> int7: あの交付申請が自己コントロール出来ないけれどそれが掻き易いとすれば仲睦まじくない;
$facts$ = fact1: あの買い気は掻き易い fact2: あの不十分さは自己コントロール出来るし掻き易い fact3: あの中外は援助等であるかあるいは特定する fact4: もしあの中外が援助等でないかまたはそれが特定するかもしくは両方だとすればあの丸見えは装置するということはない fact5: あの交付申請が特定しないとすれば自己コントロール出来なくてその上それは掻き易い fact6: もし仮にあの丸見えが装置しないならばあの買い気は茶色い fact7: もし仮にあの買い気が茶色いかあるいは嫉妬深くないかどちらもならあの交付申請は仲睦まじい fact8: もしもあの不十分さは自己コントロール出来るとしたら「あの中外は特定する」ということは確かである fact9: 仮にある物が自己コントロール出来ないけどそれが掻き易いとしたらそれは仲睦まじくない ; $hypothesis$ = あの交付申請は仲睦まじくない ; $proof$ = 
fact2 -> int1: あの不十分さは自己コントロール出来る; int1 & fact8 -> int2: あの中外は特定する; int2 -> int3: あの中外は援助等でないか特定するかもしくは両方ともだ; int3 & fact4 -> int4: あの丸見えは装置しない; int4 & fact6 -> int5: あの買い気は茶色い; int5 -> int6: あの買い気は茶色いかあるいはそれは嫉妬深くないか両方だ; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: あの買い気は掻き易い
事実2: あの不十分さは自己コントロール出来るし掻き易い
事実3: あの中外は援助等であるかあるいは特定する
事実4: もしあの中外が援助等でないかまたはそれが特定するかもしくは両方だとすればあの丸見えは装置するということはない
事実5: あの交付申請が特定しないとすれば自己コントロール出来なくてその上それは掻き易い
事実6: もし仮にあの丸見えが装置しないならばあの買い気は茶色い
事実7: もし仮にあの買い気が茶色いかあるいは嫉妬深くないかどちらもならあの交付申請は仲睦まじい
事実8: もしもあの不十分さは自己コントロール出来るとしたら「あの中外は特定する」ということは確かである
事実9: 仮にある物が自己コントロール出来ないけどそれが掻き易いとしたらそれは仲睦まじくない

仮説: あの交付申請は仲睦まじくない
1. 事実2から、推論1: "あの不十分さは自己コントロール出来る"が導かれる
2. 推論1と事実8から、推論2: "あの中外は特定する"が導かれる
3. 推論2から、推論3: "あの中外は援助等でないか特定するかもしくは両方ともだ"が導かれる
4. 推論3と事実4から、推論4: "あの丸見えは装置しない"が導かれる
5. 推論4と事実6から、推論5: "あの買い気は茶色い"が導かれる
6. 推論5から、推論6: "あの買い気は茶色いかあるいはそれは嫉妬深くないか両方だ"が導かれる
7. 推論6と事実7から、仮説が否定される

よって、仮説が否定されました。