その手仕事は心許なくない
fact1: そのシリアルマウスが表沙汰でないとするとその税法科目は表沙汰でないかまたはそれは真ん丸いということはないかあるいは両方だ fact2: この目標リストは隔つ fact3: もしもあるものは大差無くないとしたら「それは愛くるしいしそれに真ん丸い」ということは成り立たない fact4: その税法科目が真ん丸くないとすればこの目標リストは真ん丸くないかあるいはそれは隔つないかあるいは両方だ fact5: もしも「この目標リストは天使らしくないし更に隔つない」ということは偽であるとしたらあの負担能力は心許ない fact6: もし仮にその税法科目が表沙汰でないかもしくは真ん丸くないかあるいは両方であるとすれば「その手仕事は心許なくない」ということは成り立つ fact7: もし仮にこの目標リストが隔つならばそれは天使らしい fact8: もしなにがしかの物が真ん丸くないならそのシリアルマウスは表沙汰である fact9: その手仕事は大差無くない fact10: この目標リストが天使らしいならそのシリアルマウスは表沙汰でない fact11: 仮にその税法科目が真ん丸いということはないならばあの手仕事は心許なくない
fact7 & fact2 -> int1: この目標リストは天使らしい; int1 & fact10 -> int2: 「そのシリアルマウスは表沙汰でない」ということは嘘でない; int2 & fact1 -> int3: その税法科目は表沙汰でないかまたは真ん丸くないかもしくは両方だ; int3 & fact6 -> hypothesis;
「あの負担能力は心許ない」ということは成り立つ
fact14 -> int4: もしその手仕事は大差無くないとすると「愛くるしくて更にそれは真ん丸い」ということは間違いだ; int4 & fact15 -> int5: 「その手仕事は愛くるしくて更に真ん丸い」ということは誤っている; int5 -> int6: 「「愛くるしくて真ん丸い」ということは成り立たない」ものはある;
$facts$ = fact1: そのシリアルマウスが表沙汰でないとするとその税法科目は表沙汰でないかまたはそれは真ん丸いということはないかあるいは両方だ fact2: この目標リストは隔つ fact3: もしもあるものは大差無くないとしたら「それは愛くるしいしそれに真ん丸い」ということは成り立たない fact4: その税法科目が真ん丸くないとすればこの目標リストは真ん丸くないかあるいはそれは隔つないかあるいは両方だ fact5: もしも「この目標リストは天使らしくないし更に隔つない」ということは偽であるとしたらあの負担能力は心許ない fact6: もし仮にその税法科目が表沙汰でないかもしくは真ん丸くないかあるいは両方であるとすれば「その手仕事は心許なくない」ということは成り立つ fact7: もし仮にこの目標リストが隔つならばそれは天使らしい fact8: もしなにがしかの物が真ん丸くないならそのシリアルマウスは表沙汰である fact9: その手仕事は大差無くない fact10: この目標リストが天使らしいならそのシリアルマウスは表沙汰でない fact11: 仮にその税法科目が真ん丸いということはないならばあの手仕事は心許なくない ; $hypothesis$ = その手仕事は心許なくない ; $proof$ = 
fact7 & fact2 -> int1: この目標リストは天使らしい; int1 & fact10 -> int2: 「そのシリアルマウスは表沙汰でない」ということは嘘でない; int2 & fact1 -> int3: その税法科目は表沙汰でないかまたは真ん丸くないかもしくは両方だ; int3 & fact6 -> hypothesis; __PROVED__
事実1: そのシリアルマウスが表沙汰でないとするとその税法科目は表沙汰でないかまたはそれは真ん丸いということはないかあるいは両方だ
事実2: この目標リストは隔つ
事実3: もしもあるものは大差無くないとしたら「それは愛くるしいしそれに真ん丸い」ということは成り立たない
事実4: その税法科目が真ん丸くないとすればこの目標リストは真ん丸くないかあるいはそれは隔つないかあるいは両方だ
事実5: もしも「この目標リストは天使らしくないし更に隔つない」ということは偽であるとしたらあの負担能力は心許ない
事実6: もし仮にその税法科目が表沙汰でないかもしくは真ん丸くないかあるいは両方であるとすれば「その手仕事は心許なくない」ということは成り立つ
事実7: もし仮にこの目標リストが隔つならばそれは天使らしい
事実8: もしなにがしかの物が真ん丸くないならそのシリアルマウスは表沙汰である
事実9: その手仕事は大差無くない
事実10: この目標リストが天使らしいならそのシリアルマウスは表沙汰でない
事実11: 仮にその税法科目が真ん丸いということはないならばあの手仕事は心許なくない

仮説: その手仕事は心許なくない
1. 事実7と事実2から、推論1: "この目標リストは天使らしい"が導かれる
2. 推論1と事実10から、推論2: "「そのシリアルマウスは表沙汰でない」ということは嘘でない"が導かれる
3. 推論2と事実1から、推論3: "その税法科目は表沙汰でないかまたは真ん丸くないかもしくは両方だ"が導かれる
4. 推論3と事実6から、仮説が導かれる

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