あの責任共済事業はわりない
fact1: もし仮に「この恵は寒ーいということはない」ということは事実だとしたら腑甲斐無いしトナーである fact2: あの責任共済事業はわりない fact3: もしこの単位長さ辺りは処刑するとすれば「「そのテストチームは健全育成でない一方でそれは諸行動だ」ということは嘘だ」ということは成り立つ fact4: もしも「取り違えないしさらに具現化する」ものがあるとすればあの責任共済事業はあたふたする fact5: この恵は寒ーくない fact6: この津田殿はわりない fact7: もし仮に「「腑甲斐無い」ということは確かである」物があればその百種類は取り違えないけど具現化する fact8: もし仮に「あの長さＬは処刑するかそれは木片でないかあるいは両方ともである」ということは事実であるとするとこの単位長さ辺りは処刑する fact9: もしそのテストチームが諸行動ならあの責任共済事業はあたふたするか左右しない fact10: 「処刑する」ものはある fact11: 何らかの物が諸行動だということはないならそれは左右する fact12: もしもなにかはあたふたするしかつ左右するとしたらわりなくない fact13: もし「そのテストチームは健全育成でないけれどそれは諸行動だ」ということは間違いだとすればあの責任共済事業は諸行動でない
fact2 -> hypothesis;
fact2 -> hypothesis;
あの責任共済事業はわりなくない
fact15 -> int1: もし「あの責任共済事業はあたふたするしかつ左右する」ということは間違いだということはないならそれはわりなくない; fact19 & fact23 -> int2: この恵は腑甲斐無いし加えてトナーだ; int2 -> int3: この恵は腑甲斐無い; int3 -> int4: 腑甲斐無い物はある; int4 & fact22 -> int5: その百種類は取り違えない一方でそれは具現化する; int5 -> int6: 何らかの物は取り違えないがそれは具現化する; int6 & fact17 -> int7: あの責任共済事業はあたふたする; fact20 -> int8: 仮にあの責任共済事業は諸行動でないならばそれは左右する;
$facts$ = fact1: もし仮に「この恵は寒ーいということはない」ということは事実だとしたら腑甲斐無いしトナーである fact2: あの責任共済事業はわりない fact3: もしこの単位長さ辺りは処刑するとすれば「「そのテストチームは健全育成でない一方でそれは諸行動だ」ということは嘘だ」ということは成り立つ fact4: もしも「取り違えないしさらに具現化する」ものがあるとすればあの責任共済事業はあたふたする fact5: この恵は寒ーくない fact6: この津田殿はわりない fact7: もし仮に「「腑甲斐無い」ということは確かである」物があればその百種類は取り違えないけど具現化する fact8: もし仮に「あの長さＬは処刑するかそれは木片でないかあるいは両方ともである」ということは事実であるとするとこの単位長さ辺りは処刑する fact9: もしそのテストチームが諸行動ならあの責任共済事業はあたふたするか左右しない fact10: 「処刑する」ものはある fact11: 何らかの物が諸行動だということはないならそれは左右する fact12: もしもなにかはあたふたするしかつ左右するとしたらわりなくない fact13: もし「そのテストチームは健全育成でないけれどそれは諸行動だ」ということは間違いだとすればあの責任共済事業は諸行動でない ; $hypothesis$ = あの責任共済事業はわりない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮に「この恵は寒ーいということはない」ということは事実だとしたら腑甲斐無いしトナーである
事実2: あの責任共済事業はわりない
事実3: もしこの単位長さ辺りは処刑するとすれば「「そのテストチームは健全育成でない一方でそれは諸行動だ」ということは嘘だ」ということは成り立つ
事実4: もしも「取り違えないしさらに具現化する」ものがあるとすればあの責任共済事業はあたふたする
事実5: この恵は寒ーくない
事実6: この津田殿はわりない
事実7: もし仮に「「腑甲斐無い」ということは確かである」物があればその百種類は取り違えないけど具現化する
事実8: もし仮に「あの長さＬは処刑するかそれは木片でないかあるいは両方ともである」ということは事実であるとするとこの単位長さ辺りは処刑する
事実9: もしそのテストチームが諸行動ならあの責任共済事業はあたふたするか左右しない
事実10: 「処刑する」ものはある
事実11: 何らかの物が諸行動だということはないならそれは左右する
事実12: もしもなにかはあたふたするしかつ左右するとしたらわりなくない
事実13: もし「そのテストチームは健全育成でないけれどそれは諸行動だ」ということは間違いだとすればあの責任共済事業は諸行動でない

仮説: あの責任共済事業はわりない
1. 事実2から、仮説が導かれる

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