その水分散液はセクション毎でない
fact1: この旅行用が意思決定するとすればあの家族以外は寝そべらない fact2: この旅行用が艶っぽくないならその水分散液は反応し易くないしかつそれは寝そべるということはない fact3: もし仮になにがしかのものが遠回りするとするとそのはす子は辛抱強くない fact4: 「その回避力は遠回りする」ということは確かである fact5: もし仮になんらかのものは案ずるとすれば「それは意思決定する」ということは正しい fact6: もし「その回避力は反応し易くないし更にセクション毎でない」ということは成り立たないならそのはす子は打ち出す fact7: 「この旅行用はセクション毎である」ということは誤りでない fact8: もしも「その水分散液はオリジナリティだがしかし打ち出すということはない」ということは間違いだとしたらそれはオリジナリティだということはない fact9: もし仮に「何かは艶っぽいけどそれは案ぜない」ということは成り立たないとしたら「案ずる」ということは本当である fact10: あの二重線は案ずる fact11: この旅行用は意思決定するしそれは案ずる fact12: もしもそのはす子は辛抱強くないなら「あの試合終了後は打ち出さないかそれはオリジナリティでないかまたは両方だ」ということは成り立たない fact13: あの試合終了後は辛抱強いかまたはそれは打ち出さないかあるいは両方である fact14: 「「その回避力は反応し易くないしセクション毎でない」ということは事実だ」ということは成り立たない fact15: もしもあの試合終了後が意思決定するならこの旅行用は意思決定する fact16: もし仮にこの旅行用が案ずるしそれに艶っぽいとしたらあの試合終了後はオリジナリティでない fact17: もしも反応し易くない物が寝そべらないとしたらセクション毎でない
fact11 -> int1: この旅行用は案ずる; void -> assump1: 以下のように仮定する。この旅行用は艶っぽい; int1 & assump1 -> int2: この旅行用は案ずるし加えて艶っぽい; int2 & fact16 -> int3: あの試合終了後はオリジナリティでない; int3 -> int4: あの試合終了後は打ち出さないかオリジナリティでないかまたは両方ともだ; fact4 -> int5: 「遠回りする」物はある; fact3 & int5 -> int6: そのはす子は辛抱強くない; int6 & fact12 -> int7: 「あの試合終了後は打ち出さないかあるいはオリジナリティだということはないか両方ともだ」ということは確かでない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この旅行用は艶っぽいということはない; int9 & fact2 -> int10: その水分散液は反応し易くないしさらに寝そべらない; fact17 -> int11: もしその水分散液は反応し易いということはないしまた寝そべらないとしたらそれはセクション毎でない; int10 & int11 -> hypothesis;
その水分散液はセクション毎である
fact18 -> int12: もし「その水分散液は艶っぽいけど案ぜない」ということは間違いであるとすれば「それは案ずる」ということは本当だ;
$facts$ = fact1: この旅行用が意思決定するとすればあの家族以外は寝そべらない fact2: この旅行用が艶っぽくないならその水分散液は反応し易くないしかつそれは寝そべるということはない fact3: もし仮になにがしかのものが遠回りするとするとそのはす子は辛抱強くない fact4: 「その回避力は遠回りする」ということは確かである fact5: もし仮になんらかのものは案ずるとすれば「それは意思決定する」ということは正しい fact6: もし「その回避力は反応し易くないし更にセクション毎でない」ということは成り立たないならそのはす子は打ち出す fact7: 「この旅行用はセクション毎である」ということは誤りでない fact8: もしも「その水分散液はオリジナリティだがしかし打ち出すということはない」ということは間違いだとしたらそれはオリジナリティだということはない fact9: もし仮に「何かは艶っぽいけどそれは案ぜない」ということは成り立たないとしたら「案ずる」ということは本当である fact10: あの二重線は案ずる fact11: この旅行用は意思決定するしそれは案ずる fact12: もしもそのはす子は辛抱強くないなら「あの試合終了後は打ち出さないかそれはオリジナリティでないかまたは両方だ」ということは成り立たない fact13: あの試合終了後は辛抱強いかまたはそれは打ち出さないかあるいは両方である fact14: 「「その回避力は反応し易くないしセクション毎でない」ということは事実だ」ということは成り立たない fact15: もしもあの試合終了後が意思決定するならこの旅行用は意思決定する fact16: もし仮にこの旅行用が案ずるしそれに艶っぽいとしたらあの試合終了後はオリジナリティでない fact17: もしも反応し易くない物が寝そべらないとしたらセクション毎でない ; $hypothesis$ = その水分散液はセクション毎でない ; $proof$ = 
fact11 -> int1: この旅行用は案ずる; void -> assump1: 以下のように仮定する。この旅行用は艶っぽい; int1 & assump1 -> int2: この旅行用は案ずるし加えて艶っぽい; int2 & fact16 -> int3: あの試合終了後はオリジナリティでない; int3 -> int4: あの試合終了後は打ち出さないかオリジナリティでないかまたは両方ともだ; fact4 -> int5: 「遠回りする」物はある; fact3 & int5 -> int6: そのはす子は辛抱強くない; int6 & fact12 -> int7: 「あの試合終了後は打ち出さないかあるいはオリジナリティだということはないか両方ともだ」ということは確かでない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この旅行用は艶っぽいということはない; int9 & fact2 -> int10: その水分散液は反応し易くないしさらに寝そべらない; fact17 -> int11: もしその水分散液は反応し易いということはないしまた寝そべらないとしたらそれはセクション毎でない; int10 & int11 -> hypothesis; __PROVED__
事実1: この旅行用が意思決定するとすればあの家族以外は寝そべらない
事実2: この旅行用が艶っぽくないならその水分散液は反応し易くないしかつそれは寝そべるということはない
事実3: もし仮になにがしかのものが遠回りするとするとそのはす子は辛抱強くない
事実4: 「その回避力は遠回りする」ということは確かである
事実5: もし仮になんらかのものは案ずるとすれば「それは意思決定する」ということは正しい
事実6: もし「その回避力は反応し易くないし更にセクション毎でない」ということは成り立たないならそのはす子は打ち出す
事実7: 「この旅行用はセクション毎である」ということは誤りでない
事実8: もしも「その水分散液はオリジナリティだがしかし打ち出すということはない」ということは間違いだとしたらそれはオリジナリティだということはない
事実9: もし仮に「何かは艶っぽいけどそれは案ぜない」ということは成り立たないとしたら「案ずる」ということは本当である
事実10: あの二重線は案ずる
事実11: この旅行用は意思決定するしそれは案ずる
事実12: もしもそのはす子は辛抱強くないなら「あの試合終了後は打ち出さないかそれはオリジナリティでないかまたは両方だ」ということは成り立たない
事実13: あの試合終了後は辛抱強いかまたはそれは打ち出さないかあるいは両方である
事実14: 「「その回避力は反応し易くないしセクション毎でない」ということは事実だ」ということは成り立たない
事実15: もしもあの試合終了後が意思決定するならこの旅行用は意思決定する
事実16: もし仮にこの旅行用が案ずるしそれに艶っぽいとしたらあの試合終了後はオリジナリティでない
事実17: もしも反応し易くない物が寝そべらないとしたらセクション毎でない

仮説: その水分散液はセクション毎でない
1. 事実11から、推論1: "この旅行用は案ずる"が導かれる
2. 仮定1: 以下のように仮定する。この旅行用は艶っぽい
3. 推論1と仮定1から、推論2: "この旅行用は案ずるし加えて艶っぽい"が導かれる
4. 推論2と事実16から、推論3: "あの試合終了後はオリジナリティでない"が導かれる
5. 推論3から、推論4: "あの試合終了後は打ち出さないかオリジナリティでないかまたは両方ともだ"が導かれる
6. 事実4から、推論5: "「遠回りする」物はある"が導かれる
7. 事実3と推論5から、推論6: "そのはす子は辛抱強くない"が導かれる
8. 推論6と事実12から、推論7: "「あの試合終了後は打ち出さないかあるいはオリジナリティだということはないか両方ともだ」ということは確かでない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この旅行用は艶っぽいということはない"が導かれる
11. 推論9と事実2から、推論10: "その水分散液は反応し易くないしさらに寝そべらない"が導かれる
12. 事実17から、推論11: "もしその水分散液は反応し易いということはないしまた寝そべらないとしたらそれはセクション毎でない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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