あの名主職は事業体であるがしかしＤＲＡＭであるということはない
fact1: あの名主職は事業体だ fact2: もしもあのカレー粉が監視・測定であるとするとその長所・短所は過不足無い一方で変化し易くない fact3: もしあの名主職が当該保険関係でおまけに踏み切れるとしたらその元亭主は当該保険関係だ fact4: 罹患し易くないものは晴々するししかも動物学者だ fact5: この洗口法は踏み切れるけどそれは荷重でない fact6: もし仮にその長所・短所が過不足無い一方でそれが変化し易くないならばあの静脈瘤内は罹患し易くない fact7: この縫合針は細いが吹きガラス技法でない fact8: その日本人女性は捕らえ易くないなら「この洗口法は当該保険関係であるかもしくはそれは起こり易い」ということは誤っている fact9: 何らかの物はＤＲＡＭでないとするとそれは踏み切れる fact10: もし仮になにかは刺々しかないとすれば「それは形成するがしかしされ易いない」ということは真実でない fact11: 「もし仮にこの洗口法が踏み切れるがしかし荷重でないならその元亭主は踏み切れる」ということは本当である fact12: もしその元亭主は踏み切れないとすると「あの名主職が事業体だけどそれはＤＲＡＭでない」ということは成り立たない fact13: もしその元亭主が当該保険関係だということはないけど踏み切れるならあの名主職は起こり易くない fact14: もしもとある物は晴々するとすれば「刺々しいということはないしそれに電話サービスだということはない」ということは真実である fact15: 「あのカレー粉は監視・測定である」ということは成り立つ fact16: 仮にこの洗口法が踏み切れないなら保育料である fact17: 「「その元亭主はめんど臭くないが保育料だ」ということは成り立つ」ということは成り立たない fact18: もし仮に「あの静脈瘤内は形成するけどされ易いない」ということは間違っているとすればあの交通情報は荷重である fact19: 起こり易くない物は事業体であるけどＤＲＡＭでない fact20: もし仮に「荷重である」ものはあるとすると「その日本人女性は捕らえ易くない」ということは成り立つ fact21: 「その元亭主はめんど臭いししかも保育料である」ということは嘘である fact22: 仮に「その元亭主はめんど臭くないけれど保育料だ」ということは事実でないとすると当該保険関係でない
fact22 & fact17 -> int1: その元亭主は当該保険関係でない; fact11 & fact5 -> int2: その元亭主は踏み切れる; int1 & int2 -> int3: その元亭主は当該保険関係でないが踏み切れる; int3 & fact13 -> int4: あの名主職は起こり易くない; fact19 -> int5: もしもあの名主職が起こり易くないとすれば事業体であるしＤＲＡＭでない; int4 & int5 -> hypothesis;
「あの名主職は事業体である一方でそれはＤＲＡＭでない」ということは成り立たない
fact32 -> int6: もし仮にあの静脈瘤内は刺々しかないとすれば「形成するがしかしされ易いない」ということは成り立たない; fact30 -> int7: もしあの静脈瘤内が晴々するとすればそれは刺々しいということはなくてそれに電話サービスであるということはない; fact27 -> int8: 仮にあの静脈瘤内が罹患し易くないとしたらそれは晴々するしまた動物学者である; fact31 & fact23 -> int9: その長所・短所は過不足無いがしかし変化し易くない; fact26 & int9 -> int10: 「あの静脈瘤内は罹患し易くない」ということは真実だ; int8 & int10 -> int11: あの静脈瘤内は晴々するし動物学者だ; int11 -> int12: あの静脈瘤内は晴々する; int7 & int12 -> int13: あの静脈瘤内は刺々しかないしそれは電話サービスでない; int13 -> int14: あの静脈瘤内は刺々しいということはない; int6 & int14 -> int15: 「あの静脈瘤内は形成するけれどされ易いない」ということは嘘だ; fact24 & int15 -> int16: その交通情報は荷重である; int16 -> int17: なんらかの物は荷重である; int17 & fact29 -> int18: 「その日本人女性は捕らえ易くない」ということは成り立つ; fact25 & int18 -> int19: 「この洗口法は当該保険関係であるかまたはそれは起こり易いかまたは両方ともである」ということは真実でない; int19 -> int20: 「「当該保険関係であるか起こり易い」ということは正しくない」物はある;
$facts$ = fact1: あの名主職は事業体だ fact2: もしもあのカレー粉が監視・測定であるとするとその長所・短所は過不足無い一方で変化し易くない fact3: もしあの名主職が当該保険関係でおまけに踏み切れるとしたらその元亭主は当該保険関係だ fact4: 罹患し易くないものは晴々するししかも動物学者だ fact5: この洗口法は踏み切れるけどそれは荷重でない fact6: もし仮にその長所・短所が過不足無い一方でそれが変化し易くないならばあの静脈瘤内は罹患し易くない fact7: この縫合針は細いが吹きガラス技法でない fact8: その日本人女性は捕らえ易くないなら「この洗口法は当該保険関係であるかもしくはそれは起こり易い」ということは誤っている fact9: 何らかの物はＤＲＡＭでないとするとそれは踏み切れる fact10: もし仮になにかは刺々しかないとすれば「それは形成するがしかしされ易いない」ということは真実でない fact11: 「もし仮にこの洗口法が踏み切れるがしかし荷重でないならその元亭主は踏み切れる」ということは本当である fact12: もしその元亭主は踏み切れないとすると「あの名主職が事業体だけどそれはＤＲＡＭでない」ということは成り立たない fact13: もしその元亭主が当該保険関係だということはないけど踏み切れるならあの名主職は起こり易くない fact14: もしもとある物は晴々するとすれば「刺々しいということはないしそれに電話サービスだということはない」ということは真実である fact15: 「あのカレー粉は監視・測定である」ということは成り立つ fact16: 仮にこの洗口法が踏み切れないなら保育料である fact17: 「「その元亭主はめんど臭くないが保育料だ」ということは成り立つ」ということは成り立たない fact18: もし仮に「あの静脈瘤内は形成するけどされ易いない」ということは間違っているとすればあの交通情報は荷重である fact19: 起こり易くない物は事業体であるけどＤＲＡＭでない fact20: もし仮に「荷重である」ものはあるとすると「その日本人女性は捕らえ易くない」ということは成り立つ fact21: 「その元亭主はめんど臭いししかも保育料である」ということは嘘である fact22: 仮に「その元亭主はめんど臭くないけれど保育料だ」ということは事実でないとすると当該保険関係でない ; $hypothesis$ = あの名主職は事業体であるがしかしＤＲＡＭであるということはない ; $proof$ = 
fact22 & fact17 -> int1: その元亭主は当該保険関係でない; fact11 & fact5 -> int2: その元亭主は踏み切れる; int1 & int2 -> int3: その元亭主は当該保険関係でないが踏み切れる; int3 & fact13 -> int4: あの名主職は起こり易くない; fact19 -> int5: もしもあの名主職が起こり易くないとすれば事業体であるしＤＲＡＭでない; int4 & int5 -> hypothesis; __PROVED__
事実1: あの名主職は事業体だ
事実2: もしもあのカレー粉が監視・測定であるとするとその長所・短所は過不足無い一方で変化し易くない
事実3: もしあの名主職が当該保険関係でおまけに踏み切れるとしたらその元亭主は当該保険関係だ
事実4: 罹患し易くないものは晴々するししかも動物学者だ
事実5: この洗口法は踏み切れるけどそれは荷重でない
事実6: もし仮にその長所・短所が過不足無い一方でそれが変化し易くないならばあの静脈瘤内は罹患し易くない
事実7: この縫合針は細いが吹きガラス技法でない
事実8: その日本人女性は捕らえ易くないなら「この洗口法は当該保険関係であるかもしくはそれは起こり易い」ということは誤っている
事実9: 何らかの物はＤＲＡＭでないとするとそれは踏み切れる
事実10: もし仮になにかは刺々しかないとすれば「それは形成するがしかしされ易いない」ということは真実でない
事実11: 「もし仮にこの洗口法が踏み切れるがしかし荷重でないならその元亭主は踏み切れる」ということは本当である
事実12: もしその元亭主は踏み切れないとすると「あの名主職が事業体だけどそれはＤＲＡＭでない」ということは成り立たない
事実13: もしその元亭主が当該保険関係だということはないけど踏み切れるならあの名主職は起こり易くない
事実14: もしもとある物は晴々するとすれば「刺々しいということはないしそれに電話サービスだということはない」ということは真実である
事実15: 「あのカレー粉は監視・測定である」ということは成り立つ
事実16: 仮にこの洗口法が踏み切れないなら保育料である
事実17: 「「その元亭主はめんど臭くないが保育料だ」ということは成り立つ」ということは成り立たない
事実18: もし仮に「あの静脈瘤内は形成するけどされ易いない」ということは間違っているとすればあの交通情報は荷重である
事実19: 起こり易くない物は事業体であるけどＤＲＡＭでない
事実20: もし仮に「荷重である」ものはあるとすると「その日本人女性は捕らえ易くない」ということは成り立つ
事実21: 「その元亭主はめんど臭いししかも保育料である」ということは嘘である
事実22: 仮に「その元亭主はめんど臭くないけれど保育料だ」ということは事実でないとすると当該保険関係でない

仮説: あの名主職は事業体であるがしかしＤＲＡＭであるということはない
1. 事実22と事実17から、推論1: "その元亭主は当該保険関係でない"が導かれる
2. 事実11と事実5から、推論2: "その元亭主は踏み切れる"が導かれる
3. 推論1と推論2から、推論3: "その元亭主は当該保険関係でないが踏み切れる"が導かれる
4. 推論3と事実13から、推論4: "あの名主職は起こり易くない"が導かれる
5. 事実19から、推論5: "もしもあの名主職が起こり易くないとすれば事業体であるしＤＲＡＭでない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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