その身動きは安くない
fact1: 「「その身動きは聳やかすし加えて機器配置である」ということは間違っているとすると「その身動きは聳やかさない」ということは事実である」ということは成り立つ fact2: 「「由々しいかあるいは安いかまたは両方である」ということは間違っている」ものはある fact3: あの課税後は集まり易いということはない fact4: 仮になにがしかのものが集まり易いかあるいはそれは艦長でないならばそれは安くない fact5: もし「「由々しいかまたは使わさない」ということは成り立たない」物があるならその身動きは安い fact6: 「そのエチルは集まり易くない」ということは正しい fact7: もしもその身動きは貧しいということはないとしたら「使わさない」ということは誤りであるということはない fact8: そのカルミアは使わす fact9: もし仮になんらかのものは目元でないならばそれは煩い fact10: 何かは使わす fact11: 「その身動きはえげつない」ということは成り立つ fact12: もしもその身動きはウインドーズメッセンジャーであるということはないとすれば苛々し易くない fact13: もし仮になにがしかの物は煩いとしたら「聳やかさなくて艦長でない」ということは成り立たない fact14: 由々しくないものはある fact15: もし仮に「その国内各地は見切れないかまたは煩くないかもしくはどちらもである」ということは偽であるならばそのエチルは煩いということはない fact16: もし仮にその身動きが機器配置だとすればそれは煩い fact17: その身動きは機器配置であるかあるいは目元でないかもしくは両方である fact18: もしとある物が聳やかさないならそれは集まり易いかまたはそれは艦長でないかどちらもだ fact19: その推進力は由々しくない fact20: もし仮にそのエチルは集まり易くないならば「由々しいかもしくはそれは使わさないかあるいは両方である」ということは事実でない fact21: もしそのエチルは卸売りでないならそれはフィットしない
fact20 & fact6 -> int1: 「そのエチルは由々しいか使わさないかあるいは両方である」ということは嘘だ; int1 -> int2: 「「由々しいか使わすということはないかあるいはどちらもである」ということは嘘な」ものはある; int2 & fact5 -> hypothesis;
その身動きは安いということはない
fact23 -> int3: その身動きは集まり易いかあるいは艦長であるということはないとすれば安いということはない; fact24 -> int4: もしもその身動きが聳やかさないとしたらそれは集まり易いかまたはそれは艦長であるということはない;
$facts$ = fact1: 「「その身動きは聳やかすし加えて機器配置である」ということは間違っているとすると「その身動きは聳やかさない」ということは事実である」ということは成り立つ fact2: 「「由々しいかあるいは安いかまたは両方である」ということは間違っている」ものはある fact3: あの課税後は集まり易いということはない fact4: 仮になにがしかのものが集まり易いかあるいはそれは艦長でないならばそれは安くない fact5: もし「「由々しいかまたは使わさない」ということは成り立たない」物があるならその身動きは安い fact6: 「そのエチルは集まり易くない」ということは正しい fact7: もしもその身動きは貧しいということはないとしたら「使わさない」ということは誤りであるということはない fact8: そのカルミアは使わす fact9: もし仮になんらかのものは目元でないならばそれは煩い fact10: 何かは使わす fact11: 「その身動きはえげつない」ということは成り立つ fact12: もしもその身動きはウインドーズメッセンジャーであるということはないとすれば苛々し易くない fact13: もし仮になにがしかの物は煩いとしたら「聳やかさなくて艦長でない」ということは成り立たない fact14: 由々しくないものはある fact15: もし仮に「その国内各地は見切れないかまたは煩くないかもしくはどちらもである」ということは偽であるならばそのエチルは煩いということはない fact16: もし仮にその身動きが機器配置だとすればそれは煩い fact17: その身動きは機器配置であるかあるいは目元でないかもしくは両方である fact18: もしとある物が聳やかさないならそれは集まり易いかまたはそれは艦長でないかどちらもだ fact19: その推進力は由々しくない fact20: もし仮にそのエチルは集まり易くないならば「由々しいかもしくはそれは使わさないかあるいは両方である」ということは事実でない fact21: もしそのエチルは卸売りでないならそれはフィットしない ; $hypothesis$ = その身動きは安くない ; $proof$ = 
fact20 & fact6 -> int1: 「そのエチルは由々しいか使わさないかあるいは両方である」ということは嘘だ; int1 -> int2: 「「由々しいか使わすということはないかあるいはどちらもである」ということは嘘な」ものはある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 「「その身動きは聳やかすし加えて機器配置である」ということは間違っているとすると「その身動きは聳やかさない」ということは事実である」ということは成り立つ
事実2: 「「由々しいかあるいは安いかまたは両方である」ということは間違っている」ものはある
事実3: あの課税後は集まり易いということはない
事実4: 仮になにがしかのものが集まり易いかあるいはそれは艦長でないならばそれは安くない
事実5: もし「「由々しいかまたは使わさない」ということは成り立たない」物があるならその身動きは安い
事実6: 「そのエチルは集まり易くない」ということは正しい
事実7: もしもその身動きは貧しいということはないとしたら「使わさない」ということは誤りであるということはない
事実8: そのカルミアは使わす
事実9: もし仮になんらかのものは目元でないならばそれは煩い
事実10: 何かは使わす
事実11: 「その身動きはえげつない」ということは成り立つ
事実12: もしもその身動きはウインドーズメッセンジャーであるということはないとすれば苛々し易くない
事実13: もし仮になにがしかの物は煩いとしたら「聳やかさなくて艦長でない」ということは成り立たない
事実14: 由々しくないものはある
事実15: もし仮に「その国内各地は見切れないかまたは煩くないかもしくはどちらもである」ということは偽であるならばそのエチルは煩いということはない
事実16: もし仮にその身動きが機器配置だとすればそれは煩い
事実17: その身動きは機器配置であるかあるいは目元でないかもしくは両方である
事実18: もしとある物が聳やかさないならそれは集まり易いかまたはそれは艦長でないかどちらもだ
事実19: その推進力は由々しくない
事実20: もし仮にそのエチルは集まり易くないならば「由々しいかもしくはそれは使わさないかあるいは両方である」ということは事実でない
事実21: もしそのエチルは卸売りでないならそれはフィットしない

仮説: その身動きは安くない
1. 事実20と事実6から、推論1: "「そのエチルは由々しいか使わさないかあるいは両方である」ということは嘘だ"が導かれる
2. 推論1から、推論2: "「「由々しいか使わすということはないかあるいはどちらもである」ということは嘘な」ものはある"が導かれる
3. 推論2と事実5から、仮説が否定される

よって、仮説が否定されました。