「あの藩庁は華々しい」ということは成り立つ
fact1: その重機が華々しくないけどそれが泥塗れならあの藩庁は華々しくない fact2: なんらかの物は開場でないなら「それは遠望しないし加えて法定化しない」ということは誤りである fact3: あの藩庁が掴み易くないとしたらその医療分野は若いしそれに華々しい fact4: 「「意味深い」ということは本当である」物はある fact5: 「あの国際放送は所持であるしさらに活用し易い」ということは事実と異なる fact6: あの編集局長は泥塗れである fact7: 仮にあの国際放送が実現し易くないし帳尻でないとするとその学術雑誌は開場でない fact8: 活用し易くないものは実現し易くないしかつ帳尻でない fact9: その重機は意味深い fact10: 「泥塗れで意味深い」物があればその重機は華々しい fact11: もし仮に「「あの国際放送は所持であるし活用し易い」ということは正しい」ということは間違っているとするとそれは活用し易くない fact12: 仮になにかは遠望するなら掴み易いか意味深くない fact13: もし「なにかは遠望しないしさらに法定化しない」ということは成り立つということはないとすると遠望する fact14: 「「意味深いし泥塗れな」物はあるとしたら「あの藩庁は華々しい」ということは真実である」ということは成り立つ fact15: その重機は泥塗れだ fact16: 掴み易いか意味深くないかあるいは両方であるものは意味深くない
fact9 & fact15 -> int1: 「その重機は意味深いしかつそれは泥塗れだ」ということは成り立つ; int1 -> int2: 「意味深くて泥塗れである」物はある; int2 & fact14 -> hypothesis;
fact9 & fact15 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact14 -> hypothesis;
あの藩庁は華々しくない
fact25 -> int3: もしその学術雑誌が掴み易いかまたはそれは意味深くないかまたは両方ともだとすれば意味深くない; fact17 -> int4: もし仮にその学術雑誌が遠望すれば掴み易いかもしくは意味深くない; fact23 -> int5: 仮に「その学術雑誌は遠望しないしその上法定化しない」ということは成り立たないとすれば遠望する; fact19 -> int6: もし仮にその学術雑誌は開場でないとすれば「遠望するということはないし法定化するということはない」ということは偽である; fact24 -> int7: あの国際放送が活用し易いということはないとすれば実現し易くないし帳尻でない; fact20 & fact21 -> int8: あの国際放送は活用し易くない; int7 & int8 -> int9: あの国際放送は実現し易くないしその上それは帳尻でない; fact18 & int9 -> int10: その学術雑誌は開場でない; int6 & int10 -> int11: 「その学術雑誌は遠望しないしまた法定化しない」ということは間違っている; int5 & int11 -> int12: その学術雑誌は遠望する; int4 & int12 -> int13: その学術雑誌は掴み易いかそれは意味深くない; int3 & int13 -> int14: その学術雑誌は意味深くない; int14 -> int15: 「「意味深くない」ということは間違っていない」物はある;
$facts$ = fact1: その重機が華々しくないけどそれが泥塗れならあの藩庁は華々しくない fact2: なんらかの物は開場でないなら「それは遠望しないし加えて法定化しない」ということは誤りである fact3: あの藩庁が掴み易くないとしたらその医療分野は若いしそれに華々しい fact4: 「「意味深い」ということは本当である」物はある fact5: 「あの国際放送は所持であるしさらに活用し易い」ということは事実と異なる fact6: あの編集局長は泥塗れである fact7: 仮にあの国際放送が実現し易くないし帳尻でないとするとその学術雑誌は開場でない fact8: 活用し易くないものは実現し易くないしかつ帳尻でない fact9: その重機は意味深い fact10: 「泥塗れで意味深い」物があればその重機は華々しい fact11: もし仮に「「あの国際放送は所持であるし活用し易い」ということは正しい」ということは間違っているとするとそれは活用し易くない fact12: 仮になにかは遠望するなら掴み易いか意味深くない fact13: もし「なにかは遠望しないしさらに法定化しない」ということは成り立つということはないとすると遠望する fact14: 「「意味深いし泥塗れな」物はあるとしたら「あの藩庁は華々しい」ということは真実である」ということは成り立つ fact15: その重機は泥塗れだ fact16: 掴み易いか意味深くないかあるいは両方であるものは意味深くない ; $hypothesis$ = 「あの藩庁は華々しい」ということは成り立つ ; $proof$ = 
fact9 & fact15 -> int1: 「その重機は意味深いしかつそれは泥塗れだ」ということは成り立つ; int1 -> int2: 「意味深くて泥塗れである」物はある; int2 & fact14 -> hypothesis; __PROVED__
事実1: その重機が華々しくないけどそれが泥塗れならあの藩庁は華々しくない
事実2: なんらかの物は開場でないなら「それは遠望しないし加えて法定化しない」ということは誤りである
事実3: あの藩庁が掴み易くないとしたらその医療分野は若いしそれに華々しい
事実4: 「「意味深い」ということは本当である」物はある
事実5: 「あの国際放送は所持であるしさらに活用し易い」ということは事実と異なる
事実6: あの編集局長は泥塗れである
事実7: 仮にあの国際放送が実現し易くないし帳尻でないとするとその学術雑誌は開場でない
事実8: 活用し易くないものは実現し易くないしかつ帳尻でない
事実9: その重機は意味深い
事実10: 「泥塗れで意味深い」物があればその重機は華々しい
事実11: もし仮に「「あの国際放送は所持であるし活用し易い」ということは正しい」ということは間違っているとするとそれは活用し易くない
事実12: 仮になにかは遠望するなら掴み易いか意味深くない
事実13: もし「なにかは遠望しないしさらに法定化しない」ということは成り立つということはないとすると遠望する
事実14: 「「意味深いし泥塗れな」物はあるとしたら「あの藩庁は華々しい」ということは真実である」ということは成り立つ
事実15: その重機は泥塗れだ
事実16: 掴み易いか意味深くないかあるいは両方であるものは意味深くない

仮説: 「あの藩庁は華々しい」ということは成り立つ
1. 事実9と事実15から、推論1: "「その重機は意味深いしかつそれは泥塗れだ」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「意味深くて泥塗れである」物はある"が導かれる
3. 推論2と事実14から、仮説が導かれる

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