その五工場は微笑ましかない
fact1: もし「信託行為な」物があるとすればあの予防法は気持ち良いかあるいは微笑ましくらないかあるいは両方だ fact2: 全ての物は気持ち良くない fact3: もし仮に気持ち良いということはないものは信託行為であるとしたらそれは微笑ましかない fact4: もし何かは下すしまた切り離し難いとしたら鍔しない fact5: 全ては気持ち良いということはないけれど信託行為だ fact6: 馴染み難い物は気持ち良い一方で信託行為であるということはない fact7: もしもその予防法が気持ち良いならあの政管健保は気持ち良い fact8: 仮にその五工場は気持ち良いし信託行為だとすればそれは微笑ましかない fact9: 馴染み難い物は信託行為だ fact10: もし仮に連絡・調整は検討項目であるならそれは馴染み難くない fact11: すべての物は検討項目だし置く fact12: 「その五工場が検討項目である一方で置かないとするとその五工場は連絡・調整である」ということは本当である fact13: その五工場は気持ち良くない fact14: もしもその予防法が馴染み難くないならばこの五タイプは気持ち良くないしおまけにそれは微笑ましかない fact15: 連絡・調整は馴染み難い fact16: もし気持ち良いものが信託行為ならばそれは微笑ましかない fact17: 気持ち良い物は愛情深くないがしかし区別し易い fact18: 「気持ち良い物は微笑ましい」ということは成り立つ
fact5 -> int1: その五工場は気持ち良くない一方でそれは信託行為だ; fact3 -> int2: もしその五工場は気持ち良くないけれど信託行為であるならば微笑ましいということはない; int1 & int2 -> hypothesis;
fact5 -> int1: (¬{A}{aa} & {B}{aa}); fact3 -> int2: (¬{A}{aa} & {B}{aa}) -> ¬{C}{aa}; int1 & int2 -> hypothesis;
あの政管健保は愛情深くないけれど区別し易い
fact21 -> int3: この硫化アリルは検討項目でそれは置く; int3 -> int4: この硫化アリルは検討項目だ; int4 -> int5: 何もかもは検討項目である; int5 -> int6: このホテル業は検討項目である; int6 -> int7: 「検討項目な」ものはある; fact20 -> int8: もしあのＡ隠喩が馴染み難いとしたら信託行為である; fact19 -> int9: 仮にあの政管健保が気持ち良いとしたらそれは愛情深くないけれど区別し易い;
$facts$ = fact1: もし「信託行為な」物があるとすればあの予防法は気持ち良いかあるいは微笑ましくらないかあるいは両方だ fact2: 全ての物は気持ち良くない fact3: もし仮に気持ち良いということはないものは信託行為であるとしたらそれは微笑ましかない fact4: もし何かは下すしまた切り離し難いとしたら鍔しない fact5: 全ては気持ち良いということはないけれど信託行為だ fact6: 馴染み難い物は気持ち良い一方で信託行為であるということはない fact7: もしもその予防法が気持ち良いならあの政管健保は気持ち良い fact8: 仮にその五工場は気持ち良いし信託行為だとすればそれは微笑ましかない fact9: 馴染み難い物は信託行為だ fact10: もし仮に連絡・調整は検討項目であるならそれは馴染み難くない fact11: すべての物は検討項目だし置く fact12: 「その五工場が検討項目である一方で置かないとするとその五工場は連絡・調整である」ということは本当である fact13: その五工場は気持ち良くない fact14: もしもその予防法が馴染み難くないならばこの五タイプは気持ち良くないしおまけにそれは微笑ましかない fact15: 連絡・調整は馴染み難い fact16: もし気持ち良いものが信託行為ならばそれは微笑ましかない fact17: 気持ち良い物は愛情深くないがしかし区別し易い fact18: 「気持ち良い物は微笑ましい」ということは成り立つ ; $hypothesis$ = その五工場は微笑ましかない ; $proof$ = 
fact5 -> int1: その五工場は気持ち良くない一方でそれは信託行為だ; fact3 -> int2: もしその五工場は気持ち良くないけれど信託行為であるならば微笑ましいということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「信託行為な」物があるとすればあの予防法は気持ち良いかあるいは微笑ましくらないかあるいは両方だ
事実2: 全ての物は気持ち良くない
事実3: もし仮に気持ち良いということはないものは信託行為であるとしたらそれは微笑ましかない
事実4: もし何かは下すしまた切り離し難いとしたら鍔しない
事実5: 全ては気持ち良いということはないけれど信託行為だ
事実6: 馴染み難い物は気持ち良い一方で信託行為であるということはない
事実7: もしもその予防法が気持ち良いならあの政管健保は気持ち良い
事実8: 仮にその五工場は気持ち良いし信託行為だとすればそれは微笑ましかない
事実9: 馴染み難い物は信託行為だ
事実10: もし仮に連絡・調整は検討項目であるならそれは馴染み難くない
事実11: すべての物は検討項目だし置く
事実12: 「その五工場が検討項目である一方で置かないとするとその五工場は連絡・調整である」ということは本当である
事実13: その五工場は気持ち良くない
事実14: もしもその予防法が馴染み難くないならばこの五タイプは気持ち良くないしおまけにそれは微笑ましかない
事実15: 連絡・調整は馴染み難い
事実16: もし気持ち良いものが信託行為ならばそれは微笑ましかない
事実17: 気持ち良い物は愛情深くないがしかし区別し易い
事実18: 「気持ち良い物は微笑ましい」ということは成り立つ

仮説: その五工場は微笑ましかない
1. 事実5から、推論1: "その五工場は気持ち良くない一方でそれは信託行為だ"が導かれる
2. 事実3から、推論2: "もしその五工場は気持ち良くないけれど信託行為であるならば微笑ましいということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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