その火成岩は食品ラベルだ
fact1: 「もしもあの突起が好もしいならその火成岩は食品ラベルだ」ということは正しい fact2: 「その火成岩は好もしい一方でそれは成り易くない」ということは確かでない fact3: あの口論は入れ上げない fact4: なにかは入れ上げるということはないならばそれは食品ラベルでない fact5: もし仮に「その大時計は好もしいけれど入れ上げない」ということは誤りであるとすれば「あの突起は好もしい」ということは間違いでない fact6: もしなにかは好もしいならば入れ上げない fact7: もしもその非常灯が走り切るとしたらこの苦情対応は走り切る fact8: もし仮になにかは成り易いとすると「それは好もしいしおまけに入れ上げない」ということは事実と異なる fact9: もし「何かは腐り易くない」ということは成り立つとするとそれは走り切るかあるいはそれは半解凍する fact10: もし仮に「何かは好もしかないしそれに成り易くない」ということは成り立つということはないとすれば入れ上げるということはない fact11: その世界認識は指導活動であるしかつ取り払える fact12: もし仮にこの苦情対応が走り切るとするとその大時計は愛情深い fact13: もし仮にあの突起が成り易くないとすればあの火成岩が食品ラベルだしおまけに好もしい fact14: 「その火成岩は成り易い」ということは事実である fact15: その火成岩は好もしいということはない fact16: 「その火成岩は温め合わなくてかつ好もしかない」ということは嘘である fact17: 仮に何かは愛情深いとすれば「男の子らしいがしかし馴染み難いということはない」ということは成り立たない fact18: もし仮にその火成岩が好もしいとしたらそれは入れ上げない fact19: 「「何らかの物は男の子らしいけど馴染み難くない」ということは真実だ」ということは間違いであるなら成り易い fact20: 「取り払える」物があればあの地域防災計画は処置方法であるしさらに腐り易い fact21: もしあの地域防災計画が腐り易いとすればその非常灯は腐り易くない
void -> assump1: 以下のように仮定する。その火成岩は好もしいということはないしその上成り易いない; assump1 -> int1: その火成岩は成り易くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その火成岩は好もしかないしまた成り易くない」ということは正しくない; fact10 -> int4: 「その火成岩は好もしかないしそれに成り易くない」ということは事実と異なるなら「入れ上げない」ということは偽でない; int3 & int4 -> int5: その火成岩は入れ上げない; fact4 -> int6: 仮にその火成岩が入れ上げるということはないならば食品ラベルでない; int5 & int6 -> hypothesis;
その火成岩は食品ラベルだ
fact22 -> int7: もしもその大時計は成り易いとしたら「それは好もしいが入れ上げない」ということは成り立たない; fact30 -> int8: もしも「その大時計は男の子らしいけれど馴染み難くない」ということは成り立たないならばそれは成り易い; fact27 -> int9: 「その大時計は愛情深い」ということは成り立てば「男の子らしいし更にそれは馴染み難くない」ということは正しくない; fact29 -> int10: その非常灯は腐り易くないとすると「走り切るかあるいは半解凍する」ということは本当である; fact31 -> int11: その世界認識は取り払える; int11 -> int12: 何らかの物は取り払える; int12 & fact28 -> int13: あの地域防災計画は処置方法であるしその上腐り易い; int13 -> int14: あの地域防災計画は腐り易い; fact32 & int14 -> int15: その非常灯は腐り易くない; int10 & int15 -> int16: その非常灯は走り切るかそれは半解凍する;
$facts$ = fact1: 「もしもあの突起が好もしいならその火成岩は食品ラベルだ」ということは正しい fact2: 「その火成岩は好もしい一方でそれは成り易くない」ということは確かでない fact3: あの口論は入れ上げない fact4: なにかは入れ上げるということはないならばそれは食品ラベルでない fact5: もし仮に「その大時計は好もしいけれど入れ上げない」ということは誤りであるとすれば「あの突起は好もしい」ということは間違いでない fact6: もしなにかは好もしいならば入れ上げない fact7: もしもその非常灯が走り切るとしたらこの苦情対応は走り切る fact8: もし仮になにかは成り易いとすると「それは好もしいしおまけに入れ上げない」ということは事実と異なる fact9: もし「何かは腐り易くない」ということは成り立つとするとそれは走り切るかあるいはそれは半解凍する fact10: もし仮に「何かは好もしかないしそれに成り易くない」ということは成り立つということはないとすれば入れ上げるということはない fact11: その世界認識は指導活動であるしかつ取り払える fact12: もし仮にこの苦情対応が走り切るとするとその大時計は愛情深い fact13: もし仮にあの突起が成り易くないとすればあの火成岩が食品ラベルだしおまけに好もしい fact14: 「その火成岩は成り易い」ということは事実である fact15: その火成岩は好もしいということはない fact16: 「その火成岩は温め合わなくてかつ好もしかない」ということは嘘である fact17: 仮に何かは愛情深いとすれば「男の子らしいがしかし馴染み難いということはない」ということは成り立たない fact18: もし仮にその火成岩が好もしいとしたらそれは入れ上げない fact19: 「「何らかの物は男の子らしいけど馴染み難くない」ということは真実だ」ということは間違いであるなら成り易い fact20: 「取り払える」物があればあの地域防災計画は処置方法であるしさらに腐り易い fact21: もしあの地域防災計画が腐り易いとすればその非常灯は腐り易くない ; $hypothesis$ = その火成岩は食品ラベルだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その火成岩は好もしいということはないしその上成り易いない; assump1 -> int1: その火成岩は成り易くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その火成岩は好もしかないしまた成り易くない」ということは正しくない; fact10 -> int4: 「その火成岩は好もしかないしそれに成り易くない」ということは事実と異なるなら「入れ上げない」ということは偽でない; int3 & int4 -> int5: その火成岩は入れ上げない; fact4 -> int6: 仮にその火成岩が入れ上げるということはないならば食品ラベルでない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 「もしもあの突起が好もしいならその火成岩は食品ラベルだ」ということは正しい
事実2: 「その火成岩は好もしい一方でそれは成り易くない」ということは確かでない
事実3: あの口論は入れ上げない
事実4: なにかは入れ上げるということはないならばそれは食品ラベルでない
事実5: もし仮に「その大時計は好もしいけれど入れ上げない」ということは誤りであるとすれば「あの突起は好もしい」ということは間違いでない
事実6: もしなにかは好もしいならば入れ上げない
事実7: もしもその非常灯が走り切るとしたらこの苦情対応は走り切る
事実8: もし仮になにかは成り易いとすると「それは好もしいしおまけに入れ上げない」ということは事実と異なる
事実9: もし「何かは腐り易くない」ということは成り立つとするとそれは走り切るかあるいはそれは半解凍する
事実10: もし仮に「何かは好もしかないしそれに成り易くない」ということは成り立つということはないとすれば入れ上げるということはない
事実11: その世界認識は指導活動であるしかつ取り払える
事実12: もし仮にこの苦情対応が走り切るとするとその大時計は愛情深い
事実13: もし仮にあの突起が成り易くないとすればあの火成岩が食品ラベルだしおまけに好もしい
事実14: 「その火成岩は成り易い」ということは事実である
事実15: その火成岩は好もしいということはない
事実16: 「その火成岩は温め合わなくてかつ好もしかない」ということは嘘である
事実17: 仮に何かは愛情深いとすれば「男の子らしいがしかし馴染み難いということはない」ということは成り立たない
事実18: もし仮にその火成岩が好もしいとしたらそれは入れ上げない
事実19: 「「何らかの物は男の子らしいけど馴染み難くない」ということは真実だ」ということは間違いであるなら成り易い
事実20: 「取り払える」物があればあの地域防災計画は処置方法であるしさらに腐り易い
事実21: もしあの地域防災計画が腐り易いとすればその非常灯は腐り易くない

仮説: その火成岩は食品ラベルだ
1. 仮定1: 以下のように仮定する。その火成岩は好もしいということはないしその上成り易いない
2. 仮定1から、推論1: "その火成岩は成り易くない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その火成岩は好もしかないしまた成り易くない」ということは正しくない"が導かれる
5. 事実10から、推論4: "「その火成岩は好もしかないしそれに成り易くない」ということは事実と異なるなら「入れ上げない」ということは偽でない"が導かれる
6. 推論3と推論4から、推論5: "その火成岩は入れ上げない"が導かれる
7. 事実4から、推論6: "仮にその火成岩が入れ上げるということはないならば食品ラベルでない"が導かれる
8. 推論5と推論6から、仮説が否定される

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