あの変更前はプレイ中でない
fact1: もしもある物が蠢かすとしたらそれは唸らす fact2: もしなにがしかの物が塗色だとすると聖娼だ fact3: もしも「この健康時は一年先物でないし加えてつれなくない」ということは事実と異なればそのシナプス形成はつれない fact4: おっかなくない物は危うしかもしくはイマジネーションであるかまたは両方ともだ fact5: もし仮に「とあるものはおっかないし軽ーい」ということは事実と異なるとしたら「おっかなくない」ということは成り立つ fact6: 「プレイ中は聖娼だ」ということは真実だ fact7: もし仮にこの門付けが十パーセント以上でないならそのブロンズは十パーセント以上でない fact8: もしあの変更前が唸らすとしたら使用収益する fact9: この門付けは十パーセント以上でない fact10: とあるものはつれないとすると「聖娼である一方で唸らすということはない」ということは成り立たない fact11: もし仮にその大人社会が聖娼だということはないとするとこの壊死物質は蠢かすけどプレイ中でない fact12: 仮にその格標示が危うしならばこの健康時は危うし fact13: もしとある物は関係深いとしたら「原因菌である」ということは正しい fact14: 仮にそのブロンズは十パーセント以上であるということはないとすれば「その格標示はおっかないししかも軽ーい」ということは誤っている fact15: 「とあるものは聖娼であるし加えてそれはプレイ中だ」ということは嘘ならばそれはプレイ中でない fact16: あの変更前は塗色だということはないが国家像ならそれは聖娼である fact17: あの変更前が聖娼だとしたらそれは蠢かす fact18: 「「あの変更前は塗色であるしそれに国家像である」ということは成り立つならあの変更前は聖娼である」ということは正しい fact19: あの変更前は刑務所である fact20: もしもなんらかのものは危うしとすると「一年先物でないしさらにつれなくない」ということは間違いである fact21: もしもこの壊死物質が蠢かすがそれがプレイ中でないとするとあの変更前はプレイ中でない fact22: もしなにかは唸らすとするとそれはプレイ中である fact23: あの変更前は塗色だということはないけど国家像である fact24: あの変更前は塗色でない
fact16 & fact23 -> int1: あの変更前は聖娼だ; int1 & fact17 -> int2: あの変更前は蠢かす; fact1 -> int3: もし仮にあの変更前は蠢かせば「唸らす」ということは確かだ; int2 & int3 -> int4: あの変更前は唸らす; fact22 -> int5: もし仮に「あの変更前は唸らす」ということは成り立つとすればプレイ中だ; int4 & int5 -> hypothesis;
あの変更前はプレイ中でない
fact29 -> int6: 仮にそのシナプス形成はつれないとしたら「それは聖娼だがしかし唸らさない」ということは間違いである; fact28 -> int7: 仮に「この健康時は危うし」ということは成り立つとしたら「それは一年先物でないしさらにそれはつれなくない」ということは成り立たない; fact33 -> int8: その格標示はおっかなくないとしたら「それは危うしかまたはそれはイマジネーションであるか両方である」ということは成り立つ; fact25 -> int9: もしも「その格標示はおっかなくてまた軽ーい」ということは偽であるならおっかなくない; fact30 & fact26 -> int10: そのブロンズは十パーセント以上でない; fact32 & int10 -> int11: 「その格標示はおっかないしおまけに軽ーい」ということは正しいということはない; int9 & int11 -> int12: その格標示はおっかなくない; int8 & int12 -> int13: その格標示は危うしかイマジネーションである;
$facts$ = fact1: もしもある物が蠢かすとしたらそれは唸らす fact2: もしなにがしかの物が塗色だとすると聖娼だ fact3: もしも「この健康時は一年先物でないし加えてつれなくない」ということは事実と異なればそのシナプス形成はつれない fact4: おっかなくない物は危うしかもしくはイマジネーションであるかまたは両方ともだ fact5: もし仮に「とあるものはおっかないし軽ーい」ということは事実と異なるとしたら「おっかなくない」ということは成り立つ fact6: 「プレイ中は聖娼だ」ということは真実だ fact7: もし仮にこの門付けが十パーセント以上でないならそのブロンズは十パーセント以上でない fact8: もしあの変更前が唸らすとしたら使用収益する fact9: この門付けは十パーセント以上でない fact10: とあるものはつれないとすると「聖娼である一方で唸らすということはない」ということは成り立たない fact11: もし仮にその大人社会が聖娼だということはないとするとこの壊死物質は蠢かすけどプレイ中でない fact12: 仮にその格標示が危うしならばこの健康時は危うし fact13: もしとある物は関係深いとしたら「原因菌である」ということは正しい fact14: 仮にそのブロンズは十パーセント以上であるということはないとすれば「その格標示はおっかないししかも軽ーい」ということは誤っている fact15: 「とあるものは聖娼であるし加えてそれはプレイ中だ」ということは嘘ならばそれはプレイ中でない fact16: あの変更前は塗色だということはないが国家像ならそれは聖娼である fact17: あの変更前が聖娼だとしたらそれは蠢かす fact18: 「「あの変更前は塗色であるしそれに国家像である」ということは成り立つならあの変更前は聖娼である」ということは正しい fact19: あの変更前は刑務所である fact20: もしもなんらかのものは危うしとすると「一年先物でないしさらにつれなくない」ということは間違いである fact21: もしもこの壊死物質が蠢かすがそれがプレイ中でないとするとあの変更前はプレイ中でない fact22: もしなにかは唸らすとするとそれはプレイ中である fact23: あの変更前は塗色だということはないけど国家像である fact24: あの変更前は塗色でない ; $hypothesis$ = あの変更前はプレイ中でない ; $proof$ = 
fact16 & fact23 -> int1: あの変更前は聖娼だ; int1 & fact17 -> int2: あの変更前は蠢かす; fact1 -> int3: もし仮にあの変更前は蠢かせば「唸らす」ということは確かだ; int2 & int3 -> int4: あの変更前は唸らす; fact22 -> int5: もし仮に「あの変更前は唸らす」ということは成り立つとすればプレイ中だ; int4 & int5 -> 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: あの変更前は塗色だということはないけど国家像である
事実24: あの変更前は塗色でない

仮説: あの変更前はプレイ中でない
1. 事実16と事実23から、推論1: "あの変更前は聖娼だ"が導かれる
2. 推論1と事実17から、推論2: "あの変更前は蠢かす"が導かれる
3. 事実1から、推論3: "もし仮にあの変更前は蠢かせば「唸らす」ということは確かだ"が導かれる
4. 推論2と推論3から、推論4: "あの変更前は唸らす"が導かれる
5. 事実22から、推論5: "もし仮に「あの変更前は唸らす」ということは成り立つとすればプレイ中だ"が導かれる
6. 推論4と推論5から、仮説が否定される

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