このフォトツアーは院宣でない
fact1: その百四十三人は可愛いが展開し易くない fact2: 目まぐるしかない物は御高くてまた院宣である fact3: 「その百四十三人は可愛いけど許容しない」ということは嘘である fact4: この才媛が展開し易くないとしたらこのフォトツアーは展開し易いけれど院宣でない fact5: 「その百四十三人は可愛いがそれは許容しない」ということは偽であるならばこの才媛は展開し易くない fact6: もし仮にその百四十三人は院宣だとしたら「展開し易いけれどずんぐりするということはない」ということは偽だ fact7: このフォトツアーは展開し易い fact8: 展開し易くないものは院宣であるししかもずんぐりする fact9: もしもなんらかの物はずんぐりするなら「可愛いがかさかさしない」ということは成り立たない
fact5 & fact3 -> int1: この才媛は展開し易くない; int1 & fact4 -> int2: このフォトツアーは展開し易いが院宣でない; int2 -> hypothesis;
fact5 & fact3 -> int1: ¬{B}{b}; int1 & fact4 -> int2: ({B}{c} & ¬{C}{c}); int2 -> hypothesis;
「このフォトツアーは可愛いけれどそれはかさかさしない」ということは誤っている
fact10 -> int3: もしもこのフォトツアーはずんぐりするなら「可愛いがしかしかさかさしない」ということは誤りである; fact12 -> int4: もしもその百四十三人が目まぐるしかないとしたらそれは御高くて更に院宣だ;
$facts$ = fact1: その百四十三人は可愛いが展開し易くない fact2: 目まぐるしかない物は御高くてまた院宣である fact3: 「その百四十三人は可愛いけど許容しない」ということは嘘である fact4: この才媛が展開し易くないとしたらこのフォトツアーは展開し易いけれど院宣でない fact5: 「その百四十三人は可愛いがそれは許容しない」ということは偽であるならばこの才媛は展開し易くない fact6: もし仮にその百四十三人は院宣だとしたら「展開し易いけれどずんぐりするということはない」ということは偽だ fact7: このフォトツアーは展開し易い fact8: 展開し易くないものは院宣であるししかもずんぐりする fact9: もしもなんらかの物はずんぐりするなら「可愛いがかさかさしない」ということは成り立たない ; $hypothesis$ = このフォトツアーは院宣でない ; $proof$ = 
fact5 & fact3 -> int1: この才媛は展開し易くない; int1 & fact4 -> int2: このフォトツアーは展開し易いが院宣でない; int2 -> hypothesis; __PROVED__
事実1: その百四十三人は可愛いが展開し易くない
事実2: 目まぐるしかない物は御高くてまた院宣である
事実3: 「その百四十三人は可愛いけど許容しない」ということは嘘である
事実4: この才媛が展開し易くないとしたらこのフォトツアーは展開し易いけれど院宣でない
事実5: 「その百四十三人は可愛いがそれは許容しない」ということは偽であるならばこの才媛は展開し易くない
事実6: もし仮にその百四十三人は院宣だとしたら「展開し易いけれどずんぐりするということはない」ということは偽だ
事実7: このフォトツアーは展開し易い
事実8: 展開し易くないものは院宣であるししかもずんぐりする
事実9: もしもなんらかの物はずんぐりするなら「可愛いがかさかさしない」ということは成り立たない

仮説: このフォトツアーは院宣でない
1. 事実5と事実3から、推論1: "この才媛は展開し易くない"が導かれる
2. 推論1と事実4から、推論2: "このフォトツアーは展開し易いが院宣でない"が導かれる
3. 推論2から、仮説が導かれる

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