あのアクリル酸は矢創だ
fact1: もしとあるものが捜索すけどそれがはんなりしないとすればバランス良い fact2: あのアクリル酸は濃縮製剤である fact3: あのアクリル酸は同一レベルだ fact4: その編み物は同一レベルでない fact5: あの新規ドキュメントは安定化するしさらにそれは同一レベルである fact6: 仮に「なにかは矢創でないけれど同一レベルである」ということは間違いならばそれは床しい fact7: その編み物は調停する fact8: 仮にあのアクリル酸が矢創であるししかもバランス良いならばあの編み物は同一レベルでない fact9: この独身者は同一レベルでない fact10: もしあのアクリル酸がパワーユーザーでないなら捜索すしおまけにそれははんなりしない fact11: 街らしくない物が歯痒いならそれはパワーユーザーでない fact12: 「あのアクリル酸はバランス良いということはない」ということは成り立つ fact13: もしあのアクリル酸が同一レベルでそれに矢創だとしたらその編み物はバランス良くない fact14: その編み物はバランス良い fact15: その編み物が同一レベルだとしたらあのアクリル酸は矢創である
void -> assump1: 以下のように仮定する。「あのアクリル酸は矢創である」ということは確かだ; fact3 & assump1 -> int1: あのアクリル酸は同一レベルであるし加えて矢創だ; int1 & fact13 -> int2: その編み物はバランス良くない; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その編み物は床しい
fact16 -> int4: もしも「その編み物は矢創でないがしかし同一レベルである」ということは成り立たないとすれば床しい; fact17 -> int5: もし仮にあのアクリル酸が捜索すけれどはんなりしないならバランス良い; fact18 -> int6: 仮に「あのアクリル酸は街らしくないがしかし歯痒い」ということは正しいとしたら「パワーユーザーでない」ということは確かである;
$facts$ = fact1: もしとあるものが捜索すけどそれがはんなりしないとすればバランス良い fact2: あのアクリル酸は濃縮製剤である fact3: あのアクリル酸は同一レベルだ fact4: その編み物は同一レベルでない fact5: あの新規ドキュメントは安定化するしさらにそれは同一レベルである fact6: 仮に「なにかは矢創でないけれど同一レベルである」ということは間違いならばそれは床しい fact7: その編み物は調停する fact8: 仮にあのアクリル酸が矢創であるししかもバランス良いならばあの編み物は同一レベルでない fact9: この独身者は同一レベルでない fact10: もしあのアクリル酸がパワーユーザーでないなら捜索すしおまけにそれははんなりしない fact11: 街らしくない物が歯痒いならそれはパワーユーザーでない fact12: 「あのアクリル酸はバランス良いということはない」ということは成り立つ fact13: もしあのアクリル酸が同一レベルでそれに矢創だとしたらその編み物はバランス良くない fact14: その編み物はバランス良い fact15: その編み物が同一レベルだとしたらあのアクリル酸は矢創である ; $hypothesis$ = あのアクリル酸は矢創だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのアクリル酸は矢創である」ということは確かだ; fact3 & assump1 -> int1: あのアクリル酸は同一レベルであるし加えて矢創だ; int1 & fact13 -> int2: その編み物はバランス良くない; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしとあるものが捜索すけどそれがはんなりしないとすればバランス良い
事実2: あのアクリル酸は濃縮製剤である
事実3: あのアクリル酸は同一レベルだ
事実4: その編み物は同一レベルでない
事実5: あの新規ドキュメントは安定化するしさらにそれは同一レベルである
事実6: 仮に「なにかは矢創でないけれど同一レベルである」ということは間違いならばそれは床しい
事実7: その編み物は調停する
事実8: 仮にあのアクリル酸が矢創であるししかもバランス良いならばあの編み物は同一レベルでない
事実9: この独身者は同一レベルでない
事実10: もしあのアクリル酸がパワーユーザーでないなら捜索すしおまけにそれははんなりしない
事実11: 街らしくない物が歯痒いならそれはパワーユーザーでない
事実12: 「あのアクリル酸はバランス良いということはない」ということは成り立つ
事実13: もしあのアクリル酸が同一レベルでそれに矢創だとしたらその編み物はバランス良くない
事実14: その編み物はバランス良い
事実15: その編み物が同一レベルだとしたらあのアクリル酸は矢創である

仮説: あのアクリル酸は矢創だ
1. 仮定1: 以下のように仮定する。「あのアクリル酸は矢創である」ということは確かだ
2. 事実3と仮定1から、推論1: "あのアクリル酸は同一レベルであるし加えて矢創だ"が導かれる
3. 推論1と事実13から、推論2: "その編み物はバランス良くない"が導かれる
4. 推論2と事実14から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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