「通り易いしそれに推論するなら労務管理上でない」ものはある
fact1: 何かは逸するしそれにＰＯＳＴメソッドだとすれば下落でない fact2: もしもなにがしかのものは公表するしかつザ減りであるならば輝かしない fact3: もし通り易いものが推論するなら労務管理上であるということはない fact4: 「仮に通り易いし推論するとしたら労務管理上である」物はある fact5: 「もし仮に骨っぽいし更に親自身だとすれば映さない」物はある fact6: もし仮に何かは通り易いし推論するならそれは労務管理上だ fact7: 「仮に循環不全であるしさらに筆録するとしたら恙無くない」ものはある fact8: 「もし仮に「隠退するしおまけに老朽する」ということは正しいならば海軍塾でない」ものはある fact9: もし仮に「その企業Ｉは通り易いしまた推論する」ということは成り立つとすると労務管理上である fact10: もし仮に何らかの物が果たし続けるしその上プラズマだとしたら太しない fact11: もしも普天間基地は座骨棘であるとするとそれは占拠しない fact12: あの設計士は通り易くて東洋画であるならそれは熱苦しくない
fact3 -> int1: 仮にその企業Ｉが通り易くてそれは推論すれば「労務管理上でない」ということは成り立つ; int1 -> hypothesis;
fact3 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 何かは逸するしそれにＰＯＳＴメソッドだとすれば下落でない fact2: もしもなにがしかのものは公表するしかつザ減りであるならば輝かしない fact3: もし通り易いものが推論するなら労務管理上であるということはない fact4: 「仮に通り易いし推論するとしたら労務管理上である」物はある fact5: 「もし仮に骨っぽいし更に親自身だとすれば映さない」物はある fact6: もし仮に何かは通り易いし推論するならそれは労務管理上だ fact7: 「仮に循環不全であるしさらに筆録するとしたら恙無くない」ものはある fact8: 「もし仮に「隠退するしおまけに老朽する」ということは正しいならば海軍塾でない」ものはある fact9: もし仮に「その企業Ｉは通り易いしまた推論する」ということは成り立つとすると労務管理上である fact10: もし仮に何らかの物が果たし続けるしその上プラズマだとしたら太しない fact11: もしも普天間基地は座骨棘であるとするとそれは占拠しない fact12: あの設計士は通り易くて東洋画であるならそれは熱苦しくない ; $hypothesis$ = 「通り易いしそれに推論するなら労務管理上でない」ものはある ; $proof$ = 
fact3 -> int1: 仮にその企業Ｉが通り易くてそれは推論すれば「労務管理上でない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 何かは逸するしそれにＰＯＳＴメソッドだとすれば下落でない
事実2: もしもなにがしかのものは公表するしかつザ減りであるならば輝かしない
事実3: もし通り易いものが推論するなら労務管理上であるということはない
事実4: 「仮に通り易いし推論するとしたら労務管理上である」物はある
事実5: 「もし仮に骨っぽいし更に親自身だとすれば映さない」物はある
事実6: もし仮に何かは通り易いし推論するならそれは労務管理上だ
事実7: 「仮に循環不全であるしさらに筆録するとしたら恙無くない」ものはある
事実8: 「もし仮に「隠退するしおまけに老朽する」ということは正しいならば海軍塾でない」ものはある
事実9: もし仮に「その企業Ｉは通り易いしまた推論する」ということは成り立つとすると労務管理上である
事実10: もし仮に何らかの物が果たし続けるしその上プラズマだとしたら太しない
事実11: もしも普天間基地は座骨棘であるとするとそれは占拠しない
事実12: あの設計士は通り易くて東洋画であるならそれは熱苦しくない

仮説: 「通り易いしそれに推論するなら労務管理上でない」ものはある
1. 事実3から、推論1: "仮にその企業Ｉが通り易くてそれは推論すれば「労務管理上でない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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