あの農事組合法人は長母寺でない
fact1: その維摩経が株券ならばそれは辛気臭いということはないかまたは成年者である fact2: もし仮に「この漢民族は構成す」ということは偽でないとしたら「その維摩経は構成す」ということは成り立つ fact3: もし仮にＩＫイズが構成すならあの農事組合法人は長母寺でない fact4: その維摩経は株券だ fact5: もしとある物は辛気臭いということはないかあるいは成年者であるか両方ともであるとするとそれはＩＫイズだ fact6: この漢民族は税額控除であるし構成す fact7: この抗告審判は辛気臭い
fact1 & fact4 -> int1: その維摩経は辛気臭いということはないかそれは成年者であるかまたはどちらもである; fact5 -> int2: 仮にその維摩経が辛気臭くないかまたはそれが成年者だとしたらＩＫイズだ; int1 & int2 -> int3: その維摩経はＩＫイズだ; fact6 -> int4: この漢民族は構成す; fact2 & int4 -> int5: その維摩経は構成す; int3 & int5 -> int6: その維摩経はＩＫイズで構成す; int6 -> int7: なにかはＩＫイズであるしかつ構成す; int7 & fact3 -> hypothesis;
$facts$ = fact1: その維摩経が株券ならばそれは辛気臭いということはないかまたは成年者である fact2: もし仮に「この漢民族は構成す」ということは偽でないとしたら「その維摩経は構成す」ということは成り立つ fact3: もし仮にＩＫイズが構成すならあの農事組合法人は長母寺でない fact4: その維摩経は株券だ fact5: もしとある物は辛気臭いということはないかあるいは成年者であるか両方ともであるとするとそれはＩＫイズだ fact6: この漢民族は税額控除であるし構成す fact7: この抗告審判は辛気臭い ; $hypothesis$ = あの農事組合法人は長母寺でない ; $proof$ = 
fact1 & fact4 -> int1: その維摩経は辛気臭いということはないかそれは成年者であるかまたはどちらもである; fact5 -> int2: 仮にその維摩経が辛気臭くないかまたはそれが成年者だとしたらＩＫイズだ; int1 & int2 -> int3: その維摩経はＩＫイズだ; fact6 -> int4: この漢民族は構成す; fact2 & int4 -> int5: その維摩経は構成す; int3 & int5 -> int6: その維摩経はＩＫイズで構成す; int6 -> int7: なにかはＩＫイズであるしかつ構成す; int7 & fact3 -> hypothesis; __PROVED__
事実1: その維摩経が株券ならばそれは辛気臭いということはないかまたは成年者である
事実2: もし仮に「この漢民族は構成す」ということは偽でないとしたら「その維摩経は構成す」ということは成り立つ
事実3: もし仮にＩＫイズが構成すならあの農事組合法人は長母寺でない
事実4: その維摩経は株券だ
事実5: もしとある物は辛気臭いということはないかあるいは成年者であるか両方ともであるとするとそれはＩＫイズだ
事実6: この漢民族は税額控除であるし構成す
事実7: この抗告審判は辛気臭い

仮説: あの農事組合法人は長母寺でない
1. 事実1と事実4から、推論1: "その維摩経は辛気臭いということはないかそれは成年者であるかまたはどちらもである"が導かれる
2. 事実5から、推論2: "仮にその維摩経が辛気臭くないかまたはそれが成年者だとしたらＩＫイズだ"が導かれる
3. 推論1と推論2から、推論3: "その維摩経はＩＫイズだ"が導かれる
4. 事実6から、推論4: "この漢民族は構成す"が導かれる
5. 事実2と推論4から、推論5: "その維摩経は構成す"が導かれる
6. 推論3と推論5から、推論6: "その維摩経はＩＫイズで構成す"が導かれる
7. 推論6から、推論7: "なにかはＩＫイズであるしかつ構成す"が導かれる
8. 推論7と事実3から、仮説が導かれる

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