「潔いなら勝負出来ないかもしくは否定し難くないかまたは両方な」物はある
fact1: 潔いものは勝負出来ないかもしくは否定し難くないかもしくは両方だ fact2: もしもこの交換譲渡資産が戦後体制ならそれは基本条件だということはないか否定し難くないかあるいは両方だ fact3: この交換譲渡資産が潔いとするとそれは勝負出来るかもしくはそれは否定し難くない fact4: もしもあのＡ・Ｂさんが勝負出来るとしたら獲得しないかあるいは淡くないかあるいは両方だ fact5: この交換譲渡資産が潔いなら勝負出来ないかまたはそれは否定し難いかまたは両方である fact6: 「仮に潔いとすれば勝負出来るかもしくは否定し難くないかまたは両方ともである」ものはある fact7: 「もし仮にぺてんであるならば煮え繰り返るということはないかまたは性役割意識でない」物はある fact8: なにがしかの物が潔いとすると勝負出来ないかあるいは否定し難いかあるいは両方ともだ fact9: 「「もし仮に潔いならば勝負出来ないか否定し難いか両方ともである」物はある」ということは偽でない fact10: 「「考え深い」ということは確かであるとしたら基本条件でないかまたは横浜公演でないかもしくはどちらもな」物はある fact11: 潔い物は勝負出来るかもしくは否定し難くないかまたは両方だ
fact1 -> int1: もし仮にこの交換譲渡資産が潔いとしたらそれは勝負出来ないか否定し難くない; int1 -> hypothesis;
$facts$ = fact1: 潔いものは勝負出来ないかもしくは否定し難くないかもしくは両方だ fact2: もしもこの交換譲渡資産が戦後体制ならそれは基本条件だということはないか否定し難くないかあるいは両方だ fact3: この交換譲渡資産が潔いとするとそれは勝負出来るかもしくはそれは否定し難くない fact4: もしもあのＡ・Ｂさんが勝負出来るとしたら獲得しないかあるいは淡くないかあるいは両方だ fact5: この交換譲渡資産が潔いなら勝負出来ないかまたはそれは否定し難いかまたは両方である fact6: 「仮に潔いとすれば勝負出来るかもしくは否定し難くないかまたは両方ともである」ものはある fact7: 「もし仮にぺてんであるならば煮え繰り返るということはないかまたは性役割意識でない」物はある fact8: なにがしかの物が潔いとすると勝負出来ないかあるいは否定し難いかあるいは両方ともだ fact9: 「「もし仮に潔いならば勝負出来ないか否定し難いか両方ともである」物はある」ということは偽でない fact10: 「「考え深い」ということは確かであるとしたら基本条件でないかまたは横浜公演でないかもしくはどちらもな」物はある fact11: 潔い物は勝負出来るかもしくは否定し難くないかまたは両方だ ; $hypothesis$ = 「潔いなら勝負出来ないかもしくは否定し難くないかまたは両方な」物はある ; $proof$ = 
fact1 -> int1: もし仮にこの交換譲渡資産が潔いとしたらそれは勝負出来ないか否定し難くない; int1 -> hypothesis; __PROVED__
事実1: 潔いものは勝負出来ないかもしくは否定し難くないかもしくは両方だ
事実2: もしもこの交換譲渡資産が戦後体制ならそれは基本条件だということはないか否定し難くないかあるいは両方だ
事実3: この交換譲渡資産が潔いとするとそれは勝負出来るかもしくはそれは否定し難くない
事実4: もしもあのＡ・Ｂさんが勝負出来るとしたら獲得しないかあるいは淡くないかあるいは両方だ
事実5: この交換譲渡資産が潔いなら勝負出来ないかまたはそれは否定し難いかまたは両方である
事実6: 「仮に潔いとすれば勝負出来るかもしくは否定し難くないかまたは両方ともである」ものはある
事実7: 「もし仮にぺてんであるならば煮え繰り返るということはないかまたは性役割意識でない」物はある
事実8: なにがしかの物が潔いとすると勝負出来ないかあるいは否定し難いかあるいは両方ともだ
事実9: 「「もし仮に潔いならば勝負出来ないか否定し難いか両方ともである」物はある」ということは偽でない
事実10: 「「考え深い」ということは確かであるとしたら基本条件でないかまたは横浜公演でないかもしくはどちらもな」物はある
事実11: 潔い物は勝負出来るかもしくは否定し難くないかまたは両方だ

仮説: 「潔いなら勝負出来ないかもしくは否定し難くないかまたは両方な」物はある
1. 事実1から、推論1: "もし仮にこの交換譲渡資産が潔いとしたらそれは勝負出来ないか否定し難くない"が導かれる
2. 推論1から、仮説が導かれる

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