この兄者はカラーボックスであるかあるいは再認であるかまたは両方ともである
fact1: あのバイオリニストが家族性であるなら換金化であるかまたは狙い難い fact2: このＳＥＥＤはブラジル人でないとすると「この兄者はカラーボックスであるかまたは再認であるか両方ともである」ということは嘘である fact3: 家族性は換金化であるかまたは狙い難くないかあるいは両方ともだ fact4: もしもこのＳＥＥＤは逆立つとしたら「あのバイオリニストは家族性である」ということは真実である fact5: 「とあるものはブラジル人でないけれどそれは百図である」ということは真実である fact6: 「おっかしい」物はある fact7: もしあのバイオリニストが狙い難くないならこの兄者はカラーボックスだ fact8: もし仮に「この内田・各論は百図である」ということは間違いだとすれば「あのバイオリニストは逆立たない一方でブラジル人だ」ということは本当である fact9: もし仮にあのバイオリニストが換金化であるかもしくは狙い難くないならこの兄者はカラーボックスだ fact10: あのバイオリニストは換金化であるかあるいはそれは狙い難い fact11: もしブラジル人が百図でないならばあのＳＥＥＤは逆立つ fact12: 仮にクイックフォーマットが流入するならそのハーバード流交渉術は穴杓子でない fact13: 「「おっかしい」ということは確かである」ものがあるならばあのハーバード流交渉術はストレッチしないしおまけに等しない fact14: もしもあるものがブラジル人でなくておまけに百図でないとするとこのＳＥＥＤは逆立つ fact15: 「ブラジル人でない」ものはある fact16: 「そのハーバード流交渉術はストレッチする」ということは間違いであるとすれば恨みがましい fact17: 仮にあのバイオリニストが逆立つということはないがブラジル人であるならこのＳＥＥＤはブラジル人だということはない fact18: もし仮にある物が家族性ならば換金化であるか狙い難い fact19: もし仮に何かは換金化ならば「それは家族性でないし加えてそれは狙い難くない」ということは成り立たない fact20: 「なにがしかのものがブラジル人だということはないしさらに百図でない」ということは間違いでない fact21: なにかはクイックフォーマットだしおまけにそれは流入する
fact20 & fact14 -> int1: このＳＥＥＤは逆立つ; int1 & fact4 -> int2: あのバイオリニストは家族性だ; fact3 -> int3: もし仮にあのバイオリニストは家族性であるとするとそれは換金化であるかまたは狙い難くない; int2 & int3 -> int4: あのバイオリニストは換金化であるかあるいはそれは狙い難くないかあるいは両方ともである; int4 & fact9 -> int5: この兄者はカラーボックスである; int5 -> hypothesis;
「この兄者はカラーボックスであるかまたはそれは再認だ」ということは成り立つということはない
fact23 -> int6: もしその見なし外国税額控除は換金化であるなら「家族性でなくてしかもそれは狙い難くない」ということは事実と異なる; fact22 & fact28 -> int7: 「そのハーバード流交渉術はストレッチしなくてかつ等しない」ということは確かである; int7 -> int8: そのハーバード流交渉術はストレッチしない; fact27 & int8 -> int9: そのハーバード流交渉術は恨みがましい; fact26 & fact24 -> int10: そのハーバード流交渉術は穴杓子でない; int9 & int10 -> int11: そのハーバード流交渉術は恨みがましいが穴杓子でない; int11 -> int12: 「恨みがましいが穴杓子でない」物はある;
$facts$ = fact1: あのバイオリニストが家族性であるなら換金化であるかまたは狙い難い fact2: このＳＥＥＤはブラジル人でないとすると「この兄者はカラーボックスであるかまたは再認であるか両方ともである」ということは嘘である fact3: 家族性は換金化であるかまたは狙い難くないかあるいは両方ともだ fact4: もしもこのＳＥＥＤは逆立つとしたら「あのバイオリニストは家族性である」ということは真実である fact5: 「とあるものはブラジル人でないけれどそれは百図である」ということは真実である fact6: 「おっかしい」物はある fact7: もしあのバイオリニストが狙い難くないならこの兄者はカラーボックスだ fact8: もし仮に「この内田・各論は百図である」ということは間違いだとすれば「あのバイオリニストは逆立たない一方でブラジル人だ」ということは本当である fact9: もし仮にあのバイオリニストが換金化であるかもしくは狙い難くないならこの兄者はカラーボックスだ fact10: あのバイオリニストは換金化であるかあるいはそれは狙い難い fact11: もしブラジル人が百図でないならばあのＳＥＥＤは逆立つ fact12: 仮にクイックフォーマットが流入するならそのハーバード流交渉術は穴杓子でない fact13: 「「おっかしい」ということは確かである」ものがあるならばあのハーバード流交渉術はストレッチしないしおまけに等しない fact14: もしもあるものがブラジル人でなくておまけに百図でないとするとこのＳＥＥＤは逆立つ fact15: 「ブラジル人でない」ものはある fact16: 「そのハーバード流交渉術はストレッチする」ということは間違いであるとすれば恨みがましい fact17: 仮にあのバイオリニストが逆立つということはないがブラジル人であるならこのＳＥＥＤはブラジル人だということはない fact18: もし仮にある物が家族性ならば換金化であるか狙い難い fact19: もし仮に何かは換金化ならば「それは家族性でないし加えてそれは狙い難くない」ということは成り立たない fact20: 「なにがしかのものがブラジル人だということはないしさらに百図でない」ということは間違いでない fact21: なにかはクイックフォーマットだしおまけにそれは流入する ; $hypothesis$ = この兄者はカラーボックスであるかあるいは再認であるかまたは両方ともである ; $proof$ = 
fact20 & fact14 -> int1: このＳＥＥＤは逆立つ; int1 & fact4 -> int2: あのバイオリニストは家族性だ; fact3 -> int3: もし仮にあのバイオリニストは家族性であるとするとそれは換金化であるかまたは狙い難くない; int2 & int3 -> int4: あのバイオリニストは換金化であるかあるいはそれは狙い難くないかあるいは両方ともである; int4 & fact9 -> int5: この兄者はカラーボックスである; int5 -> hypothesis; __PROVED__
事実1: あのバイオリニストが家族性であるなら換金化であるかまたは狙い難い
事実2: このＳＥＥＤはブラジル人でないとすると「この兄者はカラーボックスであるかまたは再認であるか両方ともである」ということは嘘である
事実3: 家族性は換金化であるかまたは狙い難くないかあるいは両方ともだ
事実4: もしもこのＳＥＥＤは逆立つとしたら「あのバイオリニストは家族性である」ということは真実である
事実5: 「とあるものはブラジル人でないけれどそれは百図である」ということは真実である
事実6: 「おっかしい」物はある
事実7: もしあのバイオリニストが狙い難くないならこの兄者はカラーボックスだ
事実8: もし仮に「この内田・各論は百図である」ということは間違いだとすれば「あのバイオリニストは逆立たない一方でブラジル人だ」ということは本当である
事実9: もし仮にあのバイオリニストが換金化であるかもしくは狙い難くないならこの兄者はカラーボックスだ
事実10: あのバイオリニストは換金化であるかあるいはそれは狙い難い
事実11: もしブラジル人が百図でないならばあのＳＥＥＤは逆立つ
事実12: 仮にクイックフォーマットが流入するならそのハーバード流交渉術は穴杓子でない
事実13: 「「おっかしい」ということは確かである」ものがあるならばあのハーバード流交渉術はストレッチしないしおまけに等しない
事実14: もしもあるものがブラジル人でなくておまけに百図でないとするとこのＳＥＥＤは逆立つ
事実15: 「ブラジル人でない」ものはある
事実16: 「そのハーバード流交渉術はストレッチする」ということは間違いであるとすれば恨みがましい
事実17: 仮にあのバイオリニストが逆立つということはないがブラジル人であるならこのＳＥＥＤはブラジル人だということはない
事実18: もし仮にある物が家族性ならば換金化であるか狙い難い
事実19: もし仮に何かは換金化ならば「それは家族性でないし加えてそれは狙い難くない」ということは成り立たない
事実20: 「なにがしかのものがブラジル人だということはないしさらに百図でない」ということは間違いでない
事実21: なにかはクイックフォーマットだしおまけにそれは流入する

仮説: この兄者はカラーボックスであるかあるいは再認であるかまたは両方ともである
1. 事実20と事実14から、推論1: "このＳＥＥＤは逆立つ"が導かれる
2. 推論1と事実4から、推論2: "あのバイオリニストは家族性だ"が導かれる
3. 事実3から、推論3: "もし仮にあのバイオリニストは家族性であるとするとそれは換金化であるかまたは狙い難くない"が導かれる
4. 推論2と推論3から、推論4: "あのバイオリニストは換金化であるかあるいはそれは狙い難くないかあるいは両方ともである"が導かれる
5. 推論4と事実9から、推論5: "この兄者はカラーボックスである"が導かれる
6. 推論5から、仮説が導かれる

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