この綾は脆いということはないけれどそれは手早い
fact1: もしもこの綾が里芋科ならあの企業イメージは光だ fact2: あの企業イメージが光だし誘き出すとするとこの綾は光でない fact3: もしもなんらかのものは光であるとしたら脆い fact4: もし仮になにかは沈黙すらないなら先進諸国市場だしまた誘き出す fact5: もしなにかは親しないとしたら「それはＸ線写真であるかあるいはそれは転び易いかあるいはどちらもである」ということは成り立たない fact6: もし仮にあの企業イメージは里芋科だとすると「この綾は脆くないけど手早い」ということは嘘である fact7: 「「甲斐甲斐しくてまたキロ単位である」ということは間違いである」ものはある fact8: その交は光である fact9: 「あの企業イメージは光で里芋科だ」ということは成り立つ fact10: あの肛門部は光だ fact11: もしも「「甲斐甲斐しいしキロ単位である」ということは誤りな」ものがあるとすればこの緑布は親しない fact12: もし仮になにがしかの物が誘き出さないならそれは里芋科であるかまたは手早いかあるいは両方だ fact13: 「なにかはＸ線写真であるかそれは転び易い」ということは間違っているとしたら「沈黙すらない」ということは成り立つ fact14: あの企業イメージは光である fact15: 「この綾は脆くて手早い」ということは誤りだ fact16: 全ての物は光であるかもしくは里芋科であるかもしくは両方だ fact17: 全ては沈黙すということはない fact18: この綾は具体的記述である fact19: 「この綾は脆くない一方でそれは第十五章である」ということは成り立たない
fact9 -> int1: あの企業イメージは里芋科だ; int1 & fact6 -> hypothesis;
あの企業イメージは脆い
fact26 -> int2: もしあの企業イメージは光だとすると「脆い」ということは成り立つ; fact20 -> int3: 「もしもこの綾が誘き出さないとすればこの綾は里芋科であるかまたはそれは手早いかあるいは両方ともだ」ということは事実である; fact21 -> int4: 仮に「この緑布はＸ線写真であるかもしくは転び易い」ということは成り立たないならばそれは沈黙すらない; fact23 -> int5: この緑布は親しないとしたら「それはＸ線写真であるか転び易い」ということは本当でない; fact22 & fact25 -> int6: この緑布は親しということはない; int5 & int6 -> int7: 「この緑布はＸ線写真であるかもしくは転び易いかもしくは両方ともだ」ということは偽だ; int4 & int7 -> int8: この緑布は沈黙すらない;
$facts$ = fact1: もしもこの綾が里芋科ならあの企業イメージは光だ fact2: あの企業イメージが光だし誘き出すとするとこの綾は光でない fact3: もしもなんらかのものは光であるとしたら脆い fact4: もし仮になにかは沈黙すらないなら先進諸国市場だしまた誘き出す fact5: もしなにかは親しないとしたら「それはＸ線写真であるかあるいはそれは転び易いかあるいはどちらもである」ということは成り立たない fact6: もし仮にあの企業イメージは里芋科だとすると「この綾は脆くないけど手早い」ということは嘘である fact7: 「「甲斐甲斐しくてまたキロ単位である」ということは間違いである」ものはある fact8: その交は光である fact9: 「あの企業イメージは光で里芋科だ」ということは成り立つ fact10: あの肛門部は光だ fact11: もしも「「甲斐甲斐しいしキロ単位である」ということは誤りな」ものがあるとすればこの緑布は親しない fact12: もし仮になにがしかの物が誘き出さないならそれは里芋科であるかまたは手早いかあるいは両方だ fact13: 「なにかはＸ線写真であるかそれは転び易い」ということは間違っているとしたら「沈黙すらない」ということは成り立つ fact14: あの企業イメージは光である fact15: 「この綾は脆くて手早い」ということは誤りだ fact16: 全ての物は光であるかもしくは里芋科であるかもしくは両方だ fact17: 全ては沈黙すということはない fact18: この綾は具体的記述である fact19: 「この綾は脆くない一方でそれは第十五章である」ということは成り立たない ; $hypothesis$ = この綾は脆いということはないけれどそれは手早い ; $proof$ = 
fact9 -> int1: あの企業イメージは里芋科だ; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもこの綾が里芋科ならあの企業イメージは光だ
事実2: あの企業イメージが光だし誘き出すとするとこの綾は光でない
事実3: もしもなんらかのものは光であるとしたら脆い
事実4: もし仮になにかは沈黙すらないなら先進諸国市場だしまた誘き出す
事実5: もしなにかは親しないとしたら「それはＸ線写真であるかあるいはそれは転び易いかあるいはどちらもである」ということは成り立たない
事実6: もし仮にあの企業イメージは里芋科だとすると「この綾は脆くないけど手早い」ということは嘘である
事実7: 「「甲斐甲斐しくてまたキロ単位である」ということは間違いである」ものはある
事実8: その交は光である
事実9: 「あの企業イメージは光で里芋科だ」ということは成り立つ
事実10: あの肛門部は光だ
事実11: もしも「「甲斐甲斐しいしキロ単位である」ということは誤りな」ものがあるとすればこの緑布は親しない
事実12: もし仮になにがしかの物が誘き出さないならそれは里芋科であるかまたは手早いかあるいは両方だ
事実13: 「なにかはＸ線写真であるかそれは転び易い」ということは間違っているとしたら「沈黙すらない」ということは成り立つ
事実14: あの企業イメージは光である
事実15: 「この綾は脆くて手早い」ということは誤りだ
事実16: 全ての物は光であるかもしくは里芋科であるかもしくは両方だ
事実17: 全ては沈黙すということはない
事実18: この綾は具体的記述である
事実19: 「この綾は脆くない一方でそれは第十五章である」ということは成り立たない

仮説: この綾は脆いということはないけれどそれは手早い
1. 事実9から、推論1: "あの企業イメージは里芋科だ"が導かれる
2. 推論1と事実6から、仮説が否定される

よって、仮説が否定されました。