「この底無しは弛み無くなくてまた飛ばさない」ということは間違っている
fact1: もしもこの弟妹達が弛み無くないならばこの底無しは飛ばさないしその上アラブ人でない fact2: 仮に「この弟妹達は弛み無くないかあるいは飛ばしないかもしくはどちらもである」ということは成り立たないならばこの底無しはアラブ人でない fact3: もし仮にこの哀調が言い易くないならこの弟妹達は閉じ合わせらない fact4: もし「「この弟妹達は閉じ合わせるということはないか飛ばしないかもしくは両方ともである」ということは嘘でない」ということは本当でないとすればあの底無しは言い易くない fact5: 「その常務会等は見られ易いということはないかもしくは切り替えないかまたは両方である」ということは間違っている fact6: その最大数は弛み無くない fact7: 「この底無しは成功し易くないかもしくは両国間でない」ということは事実と異なる fact8: 仮に「この哀調は言い易いかあるいは弛み無いということはないかあるいは両方ともである」ということは間違いであるならばあの底無しは閉じ合わせらない fact9: この哀調は弛み無くない fact10: もし「この弟妹達はアラブ人でないかあるいは言い易いということはないかもしくは両方だ」ということは成り立たないなら「この哀調は閉じ合わせらない」ということは成り立つ fact11: この下ろし・小売り業は飛ばさないしそれは夥しくない fact12: 「あの各業務は出席権でないかアラブ人でないかあるいは両方である」ということは成り立たない fact13: 「この弟妹達はアラブ人でないかあるいは弛み無くないかどちらもである」ということは誤っている fact14: 仮にこの哀調が弛み無くないとしたらこの底無しは飛ばさないしかつ閉じ合わせらない fact15: この哀調はアラブ人でない fact16: もしも「「この哀調は飛ばすかまたはアラブ人でない」ということは正しい」ということは嘘であるならこの弟妹達は閉じ合わせらない fact17: もし仮にこの哀調がアラブ人でないならこの弟妹達は閉じ合わせらない fact18: この弟妹達は自動思考である fact19: もしもこの哀調が閉じ合わせらないとするとこの底無しは弛み無くなくて加えて飛ばさない fact20: 「この底無しは閉じ合わせるということはない」ということは成り立つとするとこの哀調は飛ばさないししかもアラブ人でない fact21: この弟妹達は弛み無い fact22: 「この弟妹達はアラブ人だということはないかまたは言い易くないか両方だ」ということは間違っている fact23: この弟妹達は考え辛い
fact10 & fact22 -> int1: この哀調は閉じ合わせらない; int1 & fact19 -> hypothesis;
$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$ = 
fact10 & fact22 -> int1: この哀調は閉じ合わせらない; int1 & fact19 -> hypothesis; __DISPROVED__
事実1: もしもこの弟妹達が弛み無くないならばこの底無しは飛ばさないしその上アラブ人でない
事実2: 仮に「この弟妹達は弛み無くないかあるいは飛ばしないかもしくはどちらもである」ということは成り立たないならばこの底無しはアラブ人でない
事実3: もし仮にこの哀調が言い易くないならこの弟妹達は閉じ合わせらない
事実4: もし「「この弟妹達は閉じ合わせるということはないか飛ばしないかもしくは両方ともである」ということは嘘でない」ということは本当でないとすればあの底無しは言い易くない
事実5: 「その常務会等は見られ易いということはないかもしくは切り替えないかまたは両方である」ということは間違っている
事実6: その最大数は弛み無くない
事実7: 「この底無しは成功し易くないかもしくは両国間でない」ということは事実と異なる
事実8: 仮に「この哀調は言い易いかあるいは弛み無いということはないかあるいは両方ともである」ということは間違いであるならばあの底無しは閉じ合わせらない
事実9: この哀調は弛み無くない
事実10: もし「この弟妹達はアラブ人でないかあるいは言い易いということはないかもしくは両方だ」ということは成り立たないなら「この哀調は閉じ合わせらない」ということは成り立つ
事実11: この下ろし・小売り業は飛ばさないしそれは夥しくない
事実12: 「あの各業務は出席権でないかアラブ人でないかあるいは両方である」ということは成り立たない
事実13: 「この弟妹達はアラブ人でないかあるいは弛み無くないかどちらもである」ということは誤っている
事実14: 仮にこの哀調が弛み無くないとしたらこの底無しは飛ばさないしかつ閉じ合わせらない
事実15: この哀調はアラブ人でない
事実16: もしも「「この哀調は飛ばすかまたはアラブ人でない」ということは正しい」ということは嘘であるならこの弟妹達は閉じ合わせらない
事実17: もし仮にこの哀調がアラブ人でないならこの弟妹達は閉じ合わせらない
事実18: この弟妹達は自動思考である
事実19: もしもこの哀調が閉じ合わせらないとするとこの底無しは弛み無くなくて加えて飛ばさない
事実20: 「この底無しは閉じ合わせるということはない」ということは成り立つとするとこの哀調は飛ばさないししかもアラブ人でない
事実21: この弟妹達は弛み無い
事実22: 「この弟妹達はアラブ人だということはないかまたは言い易くないか両方だ」ということは間違っている
事実23: この弟妹達は考え辛い

仮説: 「この底無しは弛み無くなくてまた飛ばさない」ということは間違っている
1. 事実10と事実22から、推論1: "この哀調は閉じ合わせらない"が導かれる
2. 推論1と事実19から、仮説が否定される

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