その大通り商店街祭りはカラメルソースでない
fact1: あの知行地はスポーツ団体だ fact2: 「あの知行地は活用し易い」ということは成り立てばその大通り商店街祭りは計算間違いだ fact3: もしもあの練修が活用し易いならばあの知行地はカラメルソースだ fact4: もし「あの知行地はカラメルソースだ」ということは真実であるとしたらその大通り商店街祭りは活用し易い fact5: あのコントロール権が活用し易いならばあの練修は活用し易い fact6: その口座開設は近代以前であるということはない fact7: あの知行地は活用し易いしおまけにそれはスポーツ団体である fact8: 何かは嫉妬深くないがしかし海外留学生だ fact9: もしあの知行地がカラメルソースだとしたらその大通り商店街祭りはカラメルソースだ fact10: 仮に「あのテンは計算間違いでない」ということは成り立つとすればあのコントロール権は活用し易いしスポーツ団体だ fact11: もしもその口座開設が近代以前でないか呈示するとすると呈示する fact12: もしその口座開設が呈示するがしかしそれが法律構成でないとするとそのアメリカ市民はフェロモンでない fact13: あの振興はカラメルソースである fact14: 計算間違いはカラメルソースでない fact15: その大通り商店街祭りは愛しいしスポーツ団体である
fact7 -> int1: あの知行地は活用し易い; int1 & fact2 -> int2: その大通り商店街祭りは計算間違いだ; fact14 -> int3: もしその大通り商店街祭りが計算間違いだとすればカラメルソースだということはない; int2 & int3 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; fact14 -> int3: {C}{b} -> ¬{D}{b}; int2 & int3 -> hypothesis;
その大通り商店街祭りはカラメルソースだ
fact23 -> int4: その口座開設は近代以前でないかもしくはそれは呈示するか両方ともだ; fact16 & int4 -> int5: その口座開設は呈示する;
$facts$ = fact1: あの知行地はスポーツ団体だ fact2: 「あの知行地は活用し易い」ということは成り立てばその大通り商店街祭りは計算間違いだ fact3: もしもあの練修が活用し易いならばあの知行地はカラメルソースだ fact4: もし「あの知行地はカラメルソースだ」ということは真実であるとしたらその大通り商店街祭りは活用し易い fact5: あのコントロール権が活用し易いならばあの練修は活用し易い fact6: その口座開設は近代以前であるということはない fact7: あの知行地は活用し易いしおまけにそれはスポーツ団体である fact8: 何かは嫉妬深くないがしかし海外留学生だ fact9: もしあの知行地がカラメルソースだとしたらその大通り商店街祭りはカラメルソースだ fact10: 仮に「あのテンは計算間違いでない」ということは成り立つとすればあのコントロール権は活用し易いしスポーツ団体だ fact11: もしもその口座開設が近代以前でないか呈示するとすると呈示する fact12: もしその口座開設が呈示するがしかしそれが法律構成でないとするとそのアメリカ市民はフェロモンでない fact13: あの振興はカラメルソースである fact14: 計算間違いはカラメルソースでない fact15: その大通り商店街祭りは愛しいしスポーツ団体である ; $hypothesis$ = その大通り商店街祭りはカラメルソースでない ; $proof$ = 
fact7 -> int1: あの知行地は活用し易い; int1 & fact2 -> int2: その大通り商店街祭りは計算間違いだ; fact14 -> int3: もしその大通り商店街祭りが計算間違いだとすればカラメルソースだということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: あの知行地はスポーツ団体だ
事実2: 「あの知行地は活用し易い」ということは成り立てばその大通り商店街祭りは計算間違いだ
事実3: もしもあの練修が活用し易いならばあの知行地はカラメルソースだ
事実4: もし「あの知行地はカラメルソースだ」ということは真実であるとしたらその大通り商店街祭りは活用し易い
事実5: あのコントロール権が活用し易いならばあの練修は活用し易い
事実6: その口座開設は近代以前であるということはない
事実7: あの知行地は活用し易いしおまけにそれはスポーツ団体である
事実8: 何かは嫉妬深くないがしかし海外留学生だ
事実9: もしあの知行地がカラメルソースだとしたらその大通り商店街祭りはカラメルソースだ
事実10: 仮に「あのテンは計算間違いでない」ということは成り立つとすればあのコントロール権は活用し易いしスポーツ団体だ
事実11: もしもその口座開設が近代以前でないか呈示するとすると呈示する
事実12: もしその口座開設が呈示するがしかしそれが法律構成でないとするとそのアメリカ市民はフェロモンでない
事実13: あの振興はカラメルソースである
事実14: 計算間違いはカラメルソースでない
事実15: その大通り商店街祭りは愛しいしスポーツ団体である

仮説: その大通り商店街祭りはカラメルソースでない
1. 事実7から、推論1: "あの知行地は活用し易い"が導かれる
2. 推論1と事実2から、推論2: "その大通り商店街祭りは計算間違いだ"が導かれる
3. 事実14から、推論3: "もしその大通り商店街祭りが計算間違いだとすればカラメルソースだということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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