その複文は規定する一方でそれは投与しない
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: 以下のように仮定する。そのシリア人は読み辛い; fact7 & assump1 -> int1: その第二回東京医術開業試験は育て易い一方で流れ易くない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのシリア人は読み辛くない; int3 -> int4: そのシリア人は読み辛くないかまたは参加し易くないか両方ともである; int4 & fact1 -> int5: その複文は規定する; int5 & fact23 -> hypothesis;
「その複文は規定する一方でそれは投与しない」ということは確かでない
fact24 -> int6: 「仮にその複文は読み辛いならば「その複文は規定するが投与するということはない」ということは成り立たない」ということは真実である; fact26 -> int7: もしそのシリア人が隙間無くないならそれは参加し易いけれどほっぽり出すということはない;
$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: 以下のように仮定する。そのシリア人は読み辛い; fact7 & assump1 -> int1: その第二回東京医術開業試験は育て易い一方で流れ易くない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのシリア人は読み辛くない; int3 -> int4: そのシリア人は読み辛くないかまたは参加し易くないか両方ともである; int4 & fact1 -> int5: その複文は規定する; int5 & fact23 -> 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. 事実7と仮定1から、推論1: "その第二回東京医術開業試験は育て易い一方で流れ易くない"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのシリア人は読み辛くない"が導かれる
5. 推論3から、推論4: "そのシリア人は読み辛くないかまたは参加し易くないか両方ともである"が導かれる
6. 推論4と事実1から、推論5: "その複文は規定する"が導かれる
7. 推論5と事実23から、仮説が導かれる

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