このインターフェースモジュールはＡＦである
fact1: その成年は飛び火する fact2: もし仮にその成年が山深くなくて更に参入出来ないならその手数は幼い fact3: もしもその即身仏がしんなりするとするとこの加工業は餓鬼っぽくないけれど汗する fact4: もし仮にその手数が飛び火しないし更に伊波礼彦でないならその成年は山深い fact5: あの日本弁理士会はＡＦである fact6: このインターフェースモジュールは尼僧院でなくて加えてそれは全体運でない fact7: もしその手数が飛び火するけれどそれが伊波礼彦でないならその成年は山深い fact8: 仮に「その成年は山深い」ということは間違いでないとすると「このインターフェースモジュールはＡＦだ」ということは事実である fact9: もしも何らかの物は会話らしいとしたら「しんなりする」ということは本当である fact10: その手数は飛び火するということはない fact11: このインターフェースモジュールが飛び火しなくて山深いということはないならその成年はＡＦである fact12: 仮にその手数がＡＦであるし幼いならばこのインターフェースモジュールはＡＦだということはない fact13: もし仮にとあるものが打ち易いならば山深くなくて参入出来ない fact14: その手数は飛び火しないしまたそれは伊波礼彦でない
fact4 & fact14 -> int1: その成年は山深い; int1 & fact8 -> hypothesis;
このインターフェースモジュールはＡＦでない
fact15 -> int2: もしこの目標的住環境が打ち易いとしたらそれは山深くないしさらに参入出来ない; fact18 -> int3: もしその即身仏が会話らしいとしたらそれはしんなりする;
$facts$ = fact1: その成年は飛び火する fact2: もし仮にその成年が山深くなくて更に参入出来ないならその手数は幼い fact3: もしもその即身仏がしんなりするとするとこの加工業は餓鬼っぽくないけれど汗する fact4: もし仮にその手数が飛び火しないし更に伊波礼彦でないならその成年は山深い fact5: あの日本弁理士会はＡＦである fact6: このインターフェースモジュールは尼僧院でなくて加えてそれは全体運でない fact7: もしその手数が飛び火するけれどそれが伊波礼彦でないならその成年は山深い fact8: 仮に「その成年は山深い」ということは間違いでないとすると「このインターフェースモジュールはＡＦだ」ということは事実である fact9: もしも何らかの物は会話らしいとしたら「しんなりする」ということは本当である fact10: その手数は飛び火するということはない fact11: このインターフェースモジュールが飛び火しなくて山深いということはないならその成年はＡＦである fact12: 仮にその手数がＡＦであるし幼いならばこのインターフェースモジュールはＡＦだということはない fact13: もし仮にとあるものが打ち易いならば山深くなくて参入出来ない fact14: その手数は飛び火しないしまたそれは伊波礼彦でない ; $hypothesis$ = このインターフェースモジュールはＡＦである ; $proof$ = 
fact4 & fact14 -> int1: その成年は山深い; int1 & fact8 -> hypothesis; __PROVED__
事実1: その成年は飛び火する
事実2: もし仮にその成年が山深くなくて更に参入出来ないならその手数は幼い
事実3: もしもその即身仏がしんなりするとするとこの加工業は餓鬼っぽくないけれど汗する
事実4: もし仮にその手数が飛び火しないし更に伊波礼彦でないならその成年は山深い
事実5: あの日本弁理士会はＡＦである
事実6: このインターフェースモジュールは尼僧院でなくて加えてそれは全体運でない
事実7: もしその手数が飛び火するけれどそれが伊波礼彦でないならその成年は山深い
事実8: 仮に「その成年は山深い」ということは間違いでないとすると「このインターフェースモジュールはＡＦだ」ということは事実である
事実9: もしも何らかの物は会話らしいとしたら「しんなりする」ということは本当である
事実10: その手数は飛び火するということはない
事実11: このインターフェースモジュールが飛び火しなくて山深いということはないならその成年はＡＦである
事実12: 仮にその手数がＡＦであるし幼いならばこのインターフェースモジュールはＡＦだということはない
事実13: もし仮にとあるものが打ち易いならば山深くなくて参入出来ない
事実14: その手数は飛び火しないしまたそれは伊波礼彦でない

仮説: このインターフェースモジュールはＡＦである
1. 事実4と事実14から、推論1: "その成年は山深い"が導かれる
2. 推論1と事実8から、仮説が導かれる

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