「もしも広がり易いし所有者持分なら清くない」物はある
fact1: もし仮に広がり易いものが所有者持分だとすればそれは清くない fact2: 「広がり易いし所有者持分ならば清い」ものはある fact3: 「もしも受光するし奏功すれば懐かしくない」物はある fact4: もし仮にこの御傭船が自己目的化するしまた理解し難いならば所有者持分でない fact5: もしあの四つん這いが広がり易いし加えてそれが所有者持分だとしたらそれは清い fact6: もし広がり易いものは所有者持分であるとしたらそれは清い fact7: もしもなんらかの物が心無くて挙上するとすればクレームしない
fact1 -> int1: 仮にあの四つん這いが広がり易いし加えてそれは所有者持分であるとすれば清くない; int1 -> hypothesis;
fact1 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし仮に広がり易いものが所有者持分だとすればそれは清くない fact2: 「広がり易いし所有者持分ならば清い」ものはある fact3: 「もしも受光するし奏功すれば懐かしくない」物はある fact4: もし仮にこの御傭船が自己目的化するしまた理解し難いならば所有者持分でない fact5: もしあの四つん這いが広がり易いし加えてそれが所有者持分だとしたらそれは清い fact6: もし広がり易いものは所有者持分であるとしたらそれは清い fact7: もしもなんらかの物が心無くて挙上するとすればクレームしない ; $hypothesis$ = 「もしも広がり易いし所有者持分なら清くない」物はある ; $proof$ = 
fact1 -> int1: 仮にあの四つん這いが広がり易いし加えてそれは所有者持分であるとすれば清くない; int1 -> hypothesis; __PROVED__
事実1: もし仮に広がり易いものが所有者持分だとすればそれは清くない
事実2: 「広がり易いし所有者持分ならば清い」ものはある
事実3: 「もしも受光するし奏功すれば懐かしくない」物はある
事実4: もし仮にこの御傭船が自己目的化するしまた理解し難いならば所有者持分でない
事実5: もしあの四つん這いが広がり易いし加えてそれが所有者持分だとしたらそれは清い
事実6: もし広がり易いものは所有者持分であるとしたらそれは清い
事実7: もしもなんらかの物が心無くて挙上するとすればクレームしない

仮説: 「もしも広がり易いし所有者持分なら清くない」物はある
1. 事実1から、推論1: "仮にあの四つん這いが広がり易いし加えてそれは所有者持分であるとすれば清くない"が導かれる
2. 推論1から、仮説が導かれる

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