そのサイトゾルは待画である
fact1: もし「なにがしかのものは入院着であるしそれは待画である」ということは誤りであるとすればそれは待画でない fact2: 何らかの物はつれないが引き継げないとすればそれは生徒集会である fact3: もしその朝食前測定値がポイントするとしたらそれはＶＲＡＭでないしそれは如此しない fact4: 仮にあのガゼルはあくどくないならば「そのサイトゾルが入院着だしまたそれは待画だ」ということは成り立たない fact5: 生徒集会はあくどくないけど泊り歩く fact6: 入院着は泊り歩く fact7: 「「もやもやする」ということは成り立つ」ものはある fact8: もし仮に「あくどい」ものがあるとするとあのガゼルは入院着である fact9: もしもその朝食前測定値はＶＲＡＭでないし如此しないならば反映され易くない fact10: もしなんらかのものが反映され易くないならばそれは御召し上がるということはない fact11: その朝食前測定値はポイントする fact12: 何かはあくどい fact13: 仮にあのガゼルが泊り歩くとすればそのサイトゾルは待画だ
fact12 & fact8 -> int1: あのガゼルは入院着である; fact6 -> int2: もしあのガゼルが入院着だとするとそれは泊り歩く; int1 & int2 -> int3: あのガゼルは泊り歩く; int3 & fact13 -> hypothesis;
fact12 & fact8 -> int1: {B}{a}; fact6 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact13 -> hypothesis;
そのサイトゾルは待画だということはない
fact16 -> int4: もし仮に「そのサイトゾルは入院着であるししかも待画である」ということは嘘ならばそれは待画でない; fact19 -> int5: もしも「あのガゼルは生徒集会である」ということは成り立つとするとあくどくない一方で泊り歩く; fact15 -> int6: もしあのガゼルはつれないがしかし引き継げるということはないとするとそれは生徒集会である; fact14 -> int7: その朝食前測定値が反映され易くないとすると御召し上がらない; fact21 & fact18 -> int8: その朝食前測定値はＶＲＡＭでなくて更に如此しということはない; fact20 & int8 -> int9: その朝食前測定値は反映され易くない; int7 & int9 -> int10: その朝食前測定値は御召し上がらない; int10 -> int11: 「御召し上がらない」ものはある;
$facts$ = fact1: もし「なにがしかのものは入院着であるしそれは待画である」ということは誤りであるとすればそれは待画でない fact2: 何らかの物はつれないが引き継げないとすればそれは生徒集会である fact3: もしその朝食前測定値がポイントするとしたらそれはＶＲＡＭでないしそれは如此しない fact4: 仮にあのガゼルはあくどくないならば「そのサイトゾルが入院着だしまたそれは待画だ」ということは成り立たない fact5: 生徒集会はあくどくないけど泊り歩く fact6: 入院着は泊り歩く fact7: 「「もやもやする」ということは成り立つ」ものはある fact8: もし仮に「あくどい」ものがあるとするとあのガゼルは入院着である fact9: もしもその朝食前測定値はＶＲＡＭでないし如此しないならば反映され易くない fact10: もしなんらかのものが反映され易くないならばそれは御召し上がるということはない fact11: その朝食前測定値はポイントする fact12: 何かはあくどい fact13: 仮にあのガゼルが泊り歩くとすればそのサイトゾルは待画だ ; $hypothesis$ = そのサイトゾルは待画である ; $proof$ = 
fact12 & fact8 -> int1: あのガゼルは入院着である; fact6 -> int2: もしあのガゼルが入院着だとするとそれは泊り歩く; int1 & int2 -> int3: あのガゼルは泊り歩く; int3 & fact13 -> hypothesis; __PROVED__
事実1: もし「なにがしかのものは入院着であるしそれは待画である」ということは誤りであるとすればそれは待画でない
事実2: 何らかの物はつれないが引き継げないとすればそれは生徒集会である
事実3: もしその朝食前測定値がポイントするとしたらそれはＶＲＡＭでないしそれは如此しない
事実4: 仮にあのガゼルはあくどくないならば「そのサイトゾルが入院着だしまたそれは待画だ」ということは成り立たない
事実5: 生徒集会はあくどくないけど泊り歩く
事実6: 入院着は泊り歩く
事実7: 「「もやもやする」ということは成り立つ」ものはある
事実8: もし仮に「あくどい」ものがあるとするとあのガゼルは入院着である
事実9: もしもその朝食前測定値はＶＲＡＭでないし如此しないならば反映され易くない
事実10: もしなんらかのものが反映され易くないならばそれは御召し上がるということはない
事実11: その朝食前測定値はポイントする
事実12: 何かはあくどい
事実13: 仮にあのガゼルが泊り歩くとすればそのサイトゾルは待画だ

仮説: そのサイトゾルは待画である
1. 事実12と事実8から、推論1: "あのガゼルは入院着である"が導かれる
2. 事実6から、推論2: "もしあのガゼルが入院着だとするとそれは泊り歩く"が導かれる
3. 推論1と推論2から、推論3: "あのガゼルは泊り歩く"が導かれる
4. 推論3と事実13から、仮説が導かれる

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