「その瑞穂グループは幼稚園児であるし踊る」ということは嘘だ
fact1: 「このダル薔薇・新軍司令官はジンギスカンだ」ということは真実である fact2: 仮に「その瑞穂グループは幼稚園児でなくておまけに会話するということはない」ということは正しいということはないとすると「それは幼稚園児である」ということは真実である fact3: 「その瑞穂グループは幼稚園児だけれど私達姉妹でない」ということは誤っている fact4: その瑞穂グループは操作し易い fact5: もしも「その瑞穂グループは踊らないししかもジンギスカンでない」ということは間違っているとすれば踊る fact6: 「「その瑞穂グループはキャンプでないしさらに精算しない」ということは間違っている」ということは正しい fact7: 「その瑞穂グループが整わないしさらに生まれ難くない」ということは成り立たない fact8: 「その各種データは尻込みするけどぷりぷりしない」ということは真実でない fact9: 「その瑞穂グループは踊らなくてしかもジンギスカンでない」ということは誤りだ fact10: その瑞穂グループは出入りし易い fact11: 仮に「あの薄紅は整うということはない」ということは成り立つとすると「「その瑞穂グループは幼稚園児で更に踊る」ということは成り立たない」ということは成り立つ fact12: もし仮に「この御息女は幼稚園児でないし尻込みしない」ということは事実と異なるとすれば幼稚園児だ fact13: その瑞穂グループは整うし幼稚園児だ fact14: 仮に「その論文講読演習は減らし始めないしそれはジンギスカンでない」ということは事実でないならばそれは減らし始める
fact13 -> int1: 「その瑞穂グループは幼稚園児だ」ということは確かだ; fact9 & fact5 -> int2: その瑞穂グループは踊る; int1 & int2 -> hypothesis;
「その瑞穂グループは幼稚園児であるし踊る」ということは誤っている
$facts$ = fact1: 「このダル薔薇・新軍司令官はジンギスカンだ」ということは真実である fact2: 仮に「その瑞穂グループは幼稚園児でなくておまけに会話するということはない」ということは正しいということはないとすると「それは幼稚園児である」ということは真実である fact3: 「その瑞穂グループは幼稚園児だけれど私達姉妹でない」ということは誤っている fact4: その瑞穂グループは操作し易い fact5: もしも「その瑞穂グループは踊らないししかもジンギスカンでない」ということは間違っているとすれば踊る fact6: 「「その瑞穂グループはキャンプでないしさらに精算しない」ということは間違っている」ということは正しい fact7: 「その瑞穂グループが整わないしさらに生まれ難くない」ということは成り立たない fact8: 「その各種データは尻込みするけどぷりぷりしない」ということは真実でない fact9: 「その瑞穂グループは踊らなくてしかもジンギスカンでない」ということは誤りだ fact10: その瑞穂グループは出入りし易い fact11: 仮に「あの薄紅は整うということはない」ということは成り立つとすると「「その瑞穂グループは幼稚園児で更に踊る」ということは成り立たない」ということは成り立つ fact12: もし仮に「この御息女は幼稚園児でないし尻込みしない」ということは事実と異なるとすれば幼稚園児だ fact13: その瑞穂グループは整うし幼稚園児だ fact14: 仮に「その論文講読演習は減らし始めないしそれはジンギスカンでない」ということは事実でないならばそれは減らし始める ; $hypothesis$ = 「その瑞穂グループは幼稚園児であるし踊る」ということは嘘だ ; $proof$ = 
fact13 -> int1: 「その瑞穂グループは幼稚園児だ」ということは確かだ; fact9 & fact5 -> int2: その瑞穂グループは踊る; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「このダル薔薇・新軍司令官はジンギスカンだ」ということは真実である
事実2: 仮に「その瑞穂グループは幼稚園児でなくておまけに会話するということはない」ということは正しいということはないとすると「それは幼稚園児である」ということは真実である
事実3: 「その瑞穂グループは幼稚園児だけれど私達姉妹でない」ということは誤っている
事実4: その瑞穂グループは操作し易い
事実5: もしも「その瑞穂グループは踊らないししかもジンギスカンでない」ということは間違っているとすれば踊る
事実6: 「「その瑞穂グループはキャンプでないしさらに精算しない」ということは間違っている」ということは正しい
事実7: 「その瑞穂グループが整わないしさらに生まれ難くない」ということは成り立たない
事実8: 「その各種データは尻込みするけどぷりぷりしない」ということは真実でない
事実9: 「その瑞穂グループは踊らなくてしかもジンギスカンでない」ということは誤りだ
事実10: その瑞穂グループは出入りし易い
事実11: 仮に「あの薄紅は整うということはない」ということは成り立つとすると「「その瑞穂グループは幼稚園児で更に踊る」ということは成り立たない」ということは成り立つ
事実12: もし仮に「この御息女は幼稚園児でないし尻込みしない」ということは事実と異なるとすれば幼稚園児だ
事実13: その瑞穂グループは整うし幼稚園児だ
事実14: 仮に「その論文講読演習は減らし始めないしそれはジンギスカンでない」ということは事実でないならばそれは減らし始める

仮説: 「その瑞穂グループは幼稚園児であるし踊る」ということは嘘だ
1. 事実13から、推論1: "「その瑞穂グループは幼稚園児だ」ということは確かだ"が導かれる
2. 事実9と事実5から、推論2: "その瑞穂グループは踊る"が導かれる
3. 推論1と推論2から、仮説が否定される

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