その総所得は都市鉄道である
fact1: もし仮にその情報化・国際化が孝子であるならその総所得は都市鉄道だ fact2: 賢いものは恒産でないがとしてする fact3: もし仮に「何かは興味深いけどそれは孝子でない」ということは成り立つということはないとしたらそれはＡ地でない fact4: もし仮に何かはＡ地でないとすると重苦しくて吉川経家でない fact5: もしもその情報化・国際化が立て難いということはない一方で都市鉄道ならばあの総所得は都市鉄道であるということはない fact6: あのＵＩはＡ地だがしかし立て難くない fact7: もしもあのダストルームが恒産でないけれどとしてするならばあの一遍はとしてしない fact8: 仮にその知的障害児がＡ地だということはないとするとその情報化・国際化は立て難くないけれど都市鉄道だ fact9: 仮にＡ地は立て難くないとすれば「その情報化・国際化は孝子である」ということは真実である
fact6 -> int1: 「Ａ地だししかも立て難いということはない」物はある; int1 & fact9 -> int2: その情報化・国際化は孝子である; int2 & fact1 -> hypothesis;
何かは重苦しい一方で吉川経家でない
fact10 -> int3: その情報化・国際化はＡ地でないならそれは重苦しいけれど吉川経家でない;
$facts$ = fact1: もし仮にその情報化・国際化が孝子であるならその総所得は都市鉄道だ fact2: 賢いものは恒産でないがとしてする fact3: もし仮に「何かは興味深いけどそれは孝子でない」ということは成り立つということはないとしたらそれはＡ地でない fact4: もし仮に何かはＡ地でないとすると重苦しくて吉川経家でない fact5: もしもその情報化・国際化が立て難いということはない一方で都市鉄道ならばあの総所得は都市鉄道であるということはない fact6: あのＵＩはＡ地だがしかし立て難くない fact7: もしもあのダストルームが恒産でないけれどとしてするならばあの一遍はとしてしない fact8: 仮にその知的障害児がＡ地だということはないとするとその情報化・国際化は立て難くないけれど都市鉄道だ fact9: 仮にＡ地は立て難くないとすれば「その情報化・国際化は孝子である」ということは真実である ; $hypothesis$ = その総所得は都市鉄道である ; $proof$ = 
fact6 -> int1: 「Ａ地だししかも立て難いということはない」物はある; int1 & fact9 -> int2: その情報化・国際化は孝子である; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその情報化・国際化が孝子であるならその総所得は都市鉄道だ
事実2: 賢いものは恒産でないがとしてする
事実3: もし仮に「何かは興味深いけどそれは孝子でない」ということは成り立つということはないとしたらそれはＡ地でない
事実4: もし仮に何かはＡ地でないとすると重苦しくて吉川経家でない
事実5: もしもその情報化・国際化が立て難いということはない一方で都市鉄道ならばあの総所得は都市鉄道であるということはない
事実6: あのＵＩはＡ地だがしかし立て難くない
事実7: もしもあのダストルームが恒産でないけれどとしてするならばあの一遍はとしてしない
事実8: 仮にその知的障害児がＡ地だということはないとするとその情報化・国際化は立て難くないけれど都市鉄道だ
事実9: 仮にＡ地は立て難くないとすれば「その情報化・国際化は孝子である」ということは真実である

仮説: その総所得は都市鉄道である
1. 事実6から、推論1: "「Ａ地だししかも立て難いということはない」物はある"が導かれる
2. 推論1と事実9から、推論2: "その情報化・国際化は孝子である"が導かれる
3. 推論2と事実1から、仮説が導かれる

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