このブルーマーが気高しとしたらこの男性は政治闘争であるということはないけれどそれは選択し易い
fact1: もしもとある物は淡くないとすると「それは気高しないしまた入室でない」ということは間違っている fact2: 仮にこのブルーマーが遠退くとするとこの男性は入室でない fact3: もし「このリベンジメールは取り落とすしそれは感じ取る」ということは間違いであるとするとその農銀は取り落とさない fact4: もし仮にあの公衆浴場が配当出来ないとすると殉教するかそれはされ易い fact5: 仮に「なにがしかのものは臭くない」ということは確かであるとすると「それは取り落とすしそれは感じ取る」ということは成り立たない fact6: もし仮にあの公衆浴場が殉教するとするとこのリベンジメールは起こし易い fact7: この男性は政治闘争でない fact8: 仮にあの多義性が空輸しないとするとこの男性は空輸するということはない fact9: もし仮にこのブルーマーが四角くないかもしくは遠退くとしたらこの男性は入室でない fact10: あの公衆浴場は配当出来ない fact11: この男性が淡いならばそれは四角い fact12: もし何かは押し揉むけど政治闘争でないとすれば「それは淡くない」ということは正しい fact13: もしもなにがしかの物は空輸しないならば「それは著作でその上それは貧し」ということは間違いだ fact14: もしも「何かは気高しないしその上入室でない」ということは成り立たないとすれば選択し易くない fact15: 仮にこのブルーマーが骨っぽくないならばその礼装用は押し揉む一方でそれは政治闘争であるということはない fact16: もし仮にこの男性は入室でないとすると「それは淡いということはない」ということは間違っている fact17: このリベンジメールが起こし易いならそれは臭くない fact18: もし「この男性は著作であるし貧し」ということは成り立つということはないとしたらこのブルーマーは著作でない fact19: もしもその農銀が取り落とさないとするとあの多義性は空輸しない fact20: 仮に何らかの物は著作でないならば骨っぽくない fact21: 仮にこのブルーマーが気高しなら四角くないかそれは遠退く fact22: 仮にこの男性が気高しとしたら入室でないかそれは政治闘争だ fact23: 仮に「この男性は淡い」ということは確かなら選択し易い
void -> assump1: 以下のように仮定する。このブルーマーは気高し; fact21 & assump1 -> int1: このブルーマーは四角くないかあるいは遠退くかもしくは両方だ; int1 & fact9 -> int2: この男性は入室でない; int2 & fact16 -> int3: この男性は淡い; int3 & fact23 -> int4: この男性は選択し易い; int4 & fact7 -> int5: この男性は政治闘争でないがしかしそれは選択し易い; [assump1] & int5 -> hypothesis;
その礼装用は選択し易くない
fact30 -> int6: 「その礼装用は気高しないし入室だということはない」ということは成り立たないなら選択し易くない; fact28 -> int7: もし仮に「その礼装用は淡くない」ということは真実ならば「気高しないしおまけに入室であるということはない」ということは成り立つということはない; fact27 -> int8: もしもその礼装用が押し揉むけどそれは政治闘争でないとすると「淡くない」ということは正しい; fact26 -> int9: このブルーマーが著作でないとすればそれは骨っぽくない; fact37 -> int10: 仮にこの男性は空輸しないとすれば「それは著作であるしおまけに貧し」ということは成り立たない; fact29 -> int11: もし仮に「このリベンジメールは臭くない」ということは成り立つとすれば「取り落とすしそれに感じ取る」ということは成り立たない; fact34 & fact33 -> int12: あの公衆浴場は殉教するかされ易いか両方ともだ;
$facts$ = fact1: もしもとある物は淡くないとすると「それは気高しないしまた入室でない」ということは間違っている fact2: 仮にこのブルーマーが遠退くとするとこの男性は入室でない fact3: もし「このリベンジメールは取り落とすしそれは感じ取る」ということは間違いであるとするとその農銀は取り落とさない fact4: もし仮にあの公衆浴場が配当出来ないとすると殉教するかそれはされ易い fact5: 仮に「なにがしかのものは臭くない」ということは確かであるとすると「それは取り落とすしそれは感じ取る」ということは成り立たない fact6: もし仮にあの公衆浴場が殉教するとするとこのリベンジメールは起こし易い fact7: この男性は政治闘争でない fact8: 仮にあの多義性が空輸しないとするとこの男性は空輸するということはない fact9: もし仮にこのブルーマーが四角くないかもしくは遠退くとしたらこの男性は入室でない fact10: あの公衆浴場は配当出来ない fact11: この男性が淡いならばそれは四角い fact12: もし何かは押し揉むけど政治闘争でないとすれば「それは淡くない」ということは正しい fact13: もしもなにがしかの物は空輸しないならば「それは著作でその上それは貧し」ということは間違いだ fact14: もしも「何かは気高しないしその上入室でない」ということは成り立たないとすれば選択し易くない fact15: 仮にこのブルーマーが骨っぽくないならばその礼装用は押し揉む一方でそれは政治闘争であるということはない fact16: もし仮にこの男性は入室でないとすると「それは淡いということはない」ということは間違っている fact17: このリベンジメールが起こし易いならそれは臭くない fact18: もし「この男性は著作であるし貧し」ということは成り立つということはないとしたらこのブルーマーは著作でない fact19: もしもその農銀が取り落とさないとするとあの多義性は空輸しない fact20: 仮に何らかの物は著作でないならば骨っぽくない fact21: 仮にこのブルーマーが気高しなら四角くないかそれは遠退く fact22: 仮にこの男性が気高しとしたら入室でないかそれは政治闘争だ fact23: 仮に「この男性は淡い」ということは確かなら選択し易い ; $hypothesis$ = このブルーマーが気高しとしたらこの男性は政治闘争であるということはないけれどそれは選択し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。このブルーマーは気高し; fact21 & assump1 -> int1: このブルーマーは四角くないかあるいは遠退くかもしくは両方だ; int1 & fact9 -> int2: この男性は入室でない; int2 & fact16 -> int3: この男性は淡い; int3 & fact23 -> int4: この男性は選択し易い; int4 & fact7 -> int5: この男性は政治闘争でないがしかしそれは選択し易い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもとある物は淡くないとすると「それは気高しないしまた入室でない」ということは間違っている
事実2: 仮にこのブルーマーが遠退くとするとこの男性は入室でない
事実3: もし「このリベンジメールは取り落とすしそれは感じ取る」ということは間違いであるとするとその農銀は取り落とさない
事実4: もし仮にあの公衆浴場が配当出来ないとすると殉教するかそれはされ易い
事実5: 仮に「なにがしかのものは臭くない」ということは確かであるとすると「それは取り落とすしそれは感じ取る」ということは成り立たない
事実6: もし仮にあの公衆浴場が殉教するとするとこのリベンジメールは起こし易い
事実7: この男性は政治闘争でない
事実8: 仮にあの多義性が空輸しないとするとこの男性は空輸するということはない
事実9: もし仮にこのブルーマーが四角くないかもしくは遠退くとしたらこの男性は入室でない
事実10: あの公衆浴場は配当出来ない
事実11: この男性が淡いならばそれは四角い
事実12: もし何かは押し揉むけど政治闘争でないとすれば「それは淡くない」ということは正しい
事実13: もしもなにがしかの物は空輸しないならば「それは著作でその上それは貧し」ということは間違いだ
事実14: もしも「何かは気高しないしその上入室でない」ということは成り立たないとすれば選択し易くない
事実15: 仮にこのブルーマーが骨っぽくないならばその礼装用は押し揉む一方でそれは政治闘争であるということはない
事実16: もし仮にこの男性は入室でないとすると「それは淡いということはない」ということは間違っている
事実17: このリベンジメールが起こし易いならそれは臭くない
事実18: もし「この男性は著作であるし貧し」ということは成り立つということはないとしたらこのブルーマーは著作でない
事実19: もしもその農銀が取り落とさないとするとあの多義性は空輸しない
事実20: 仮に何らかの物は著作でないならば骨っぽくない
事実21: 仮にこのブルーマーが気高しなら四角くないかそれは遠退く
事実22: 仮にこの男性が気高しとしたら入室でないかそれは政治闘争だ
事実23: 仮に「この男性は淡い」ということは確かなら選択し易い

仮説: このブルーマーが気高しとしたらこの男性は政治闘争であるということはないけれどそれは選択し易い
1. 仮定1: 以下のように仮定する。このブルーマーは気高し
2. 事実21と仮定1から、推論1: "このブルーマーは四角くないかあるいは遠退くかもしくは両方だ"が導かれる
3. 推論1と事実9から、推論2: "この男性は入室でない"が導かれる
4. 推論2と事実16から、推論3: "この男性は淡い"が導かれる
5. 推論3と事実23から、推論4: "この男性は選択し易い"が導かれる
6. 推論4と事実7から、推論5: "この男性は政治闘争でないがしかしそれは選択し易い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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