仮にあのＨＵＣが刈り取るとしたらあの身勝手さは誤報道である
fact1: もし「このグループＡは刈り取る」ということは成り立つとするとあのＨＵＣは鋭い fact2: 「あのＨＵＣは刈り取る」ということは本当であるならこのグループＡは鋭い fact3: 「鋭いということはない物は刈り取るし更に誤報道だ」ということは正しい fact4: 仮に「なにかは無声でなくてそれに生下時だということはない」ということは事実と異なれば「鋭くない」ということは成り立つ fact5: もしもこのグループＡが鋭いならあの身勝手さは誤報道だ fact6: その自治会は誤報道である fact7: 「あのＨＵＣは鋭い」ということは事実だ fact8: あのＨＵＣは高巻く fact9: このグループＡが誤報道であるとしたらあの身勝手さは鋭い fact10: もしもなにかは貧しないとするとそれは粘り強くなくて軽々しい fact11: 仮にあの身勝手さが誤報道だとしたらあのＨＵＣは鋭い fact12: もしもその電気製品は高速・軽量化するとすれば「それは無声だということはなくて生下時でない」ということは成り立たない fact13: 粘り強くなくて軽々しい物は高速・軽量化する fact14: 賛成し難い九十七年以降は貧しない fact15: その電気製品は九十七年以降で賛成し難い fact16: もしもあのＨＵＣが鋭いならこのグループＡは刈り取る
void -> assump1: 以下のように仮定する。あのＨＵＣは刈り取る; fact2 & assump1 -> int1: このグループＡは鋭い; int1 & fact5 -> int2: あの身勝手さは誤報道だ; [assump1] & int2 -> hypothesis;
その電気製品は誤報道である
fact18 -> int3: もし仮にその電気製品が鋭いということはないとしたら刈り取るし加えて誤報道だ; fact19 -> int4: 仮に「その電気製品は無声でなくて更に生下時でない」ということは嘘だとしたら「鋭くない」ということは事実だ; fact17 -> int5: もしその電気製品は粘り強くないが軽々しいならばそれは高速・軽量化する; fact21 -> int6: もしもその電気製品が貧しということはないとしたらそれは粘り強いということはなくて軽々しい; fact20 -> int7: 仮にその電気製品は九十七年以降であるしかつ賛成し難いなら貧しということはない; int7 & fact23 -> int8: その電気製品は貧しない; int6 & int8 -> int9: その電気製品は粘り強くないが軽々しい; int5 & int9 -> int10: その電気製品は高速・軽量化する; fact22 & int10 -> int11: 「その電気製品は無声でなくてそれにそれは生下時でない」ということは成り立たない; int4 & int11 -> int12: その電気製品は鋭くない; int3 & int12 -> int13: その電気製品は刈り取るししかも誤報道である; int13 -> hypothesis;
$facts$ = fact1: もし「このグループＡは刈り取る」ということは成り立つとするとあのＨＵＣは鋭い fact2: 「あのＨＵＣは刈り取る」ということは本当であるならこのグループＡは鋭い fact3: 「鋭いということはない物は刈り取るし更に誤報道だ」ということは正しい fact4: 仮に「なにかは無声でなくてそれに生下時だということはない」ということは事実と異なれば「鋭くない」ということは成り立つ fact5: もしもこのグループＡが鋭いならあの身勝手さは誤報道だ fact6: その自治会は誤報道である fact7: 「あのＨＵＣは鋭い」ということは事実だ fact8: あのＨＵＣは高巻く fact9: このグループＡが誤報道であるとしたらあの身勝手さは鋭い fact10: もしもなにかは貧しないとするとそれは粘り強くなくて軽々しい fact11: 仮にあの身勝手さが誤報道だとしたらあのＨＵＣは鋭い fact12: もしもその電気製品は高速・軽量化するとすれば「それは無声だということはなくて生下時でない」ということは成り立たない fact13: 粘り強くなくて軽々しい物は高速・軽量化する fact14: 賛成し難い九十七年以降は貧しない fact15: その電気製品は九十七年以降で賛成し難い fact16: もしもあのＨＵＣが鋭いならこのグループＡは刈り取る ; $hypothesis$ = 仮にあのＨＵＣが刈り取るとしたらあの身勝手さは誤報道である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＨＵＣは刈り取る; fact2 & assump1 -> int1: このグループＡは鋭い; int1 & fact5 -> int2: あの身勝手さは誤報道だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし「このグループＡは刈り取る」ということは成り立つとするとあのＨＵＣは鋭い
事実2: 「あのＨＵＣは刈り取る」ということは本当であるならこのグループＡは鋭い
事実3: 「鋭いということはない物は刈り取るし更に誤報道だ」ということは正しい
事実4: 仮に「なにかは無声でなくてそれに生下時だということはない」ということは事実と異なれば「鋭くない」ということは成り立つ
事実5: もしもこのグループＡが鋭いならあの身勝手さは誤報道だ
事実6: その自治会は誤報道である
事実7: 「あのＨＵＣは鋭い」ということは事実だ
事実8: あのＨＵＣは高巻く
事実9: このグループＡが誤報道であるとしたらあの身勝手さは鋭い
事実10: もしもなにかは貧しないとするとそれは粘り強くなくて軽々しい
事実11: 仮にあの身勝手さが誤報道だとしたらあのＨＵＣは鋭い
事実12: もしもその電気製品は高速・軽量化するとすれば「それは無声だということはなくて生下時でない」ということは成り立たない
事実13: 粘り強くなくて軽々しい物は高速・軽量化する
事実14: 賛成し難い九十七年以降は貧しない
事実15: その電気製品は九十七年以降で賛成し難い
事実16: もしもあのＨＵＣが鋭いならこのグループＡは刈り取る

仮説: 仮にあのＨＵＣが刈り取るとしたらあの身勝手さは誤報道である
1. 仮定1: 以下のように仮定する。あのＨＵＣは刈り取る
2. 事実2と仮定1から、推論1: "このグループＡは鋭い"が導かれる
3. 推論1と事実5から、推論2: "あの身勝手さは誤報道だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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