このＡＮＴＩはシングルセンサーでない
fact1: もしもえげつない物がキャンデーだということはないならばめんど臭くない fact2: 手際良くないものは診断薬であるししかもめんど臭い fact3: その風圧が愛情深いとするとそのコンポーネントはえげつないけれどキャンデーでない fact4: もし仮に「そのコンポーネントは派するし文芸時評である」ということは成り立つということはないならばあの風圧は手際良いということはない fact5: そのコンポーネントがめんど臭くないとすればあのＡＮＴＩは診断薬である一方で手際良くない fact6: 仮に何らかのものが診断薬であるか派するかもしくは両方であるならばそれはシングルセンサーでない fact7: その風圧は愛情深い
fact3 & fact7 -> int1: そのコンポーネントはえげつないけどキャンデーでない; fact1 -> int2: もしそのコンポーネントがえげつない一方でそれはキャンデーでないならばそれはめんど臭いということはない; int1 & int2 -> int3: 「そのコンポーネントはめんど臭くない」ということは確かである; int3 & fact5 -> int4: このＡＮＴＩは診断薬だけど手際良くない; int4 -> int5: このＡＮＴＩは診断薬だ; int5 -> int6: 「このＡＮＴＩは診断薬であるかもしくは派する」ということは成り立つ; fact6 -> int7: もしも「このＡＮＴＩは診断薬であるかまたは派するか両方ともである」ということは確かならばシングルセンサーでない; int6 & int7 -> hypothesis;
このＡＮＴＩはシングルセンサーである
fact8 -> int8: もしその風圧が手際良いということはないなら診断薬だしまためんど臭い;
$facts$ = fact1: もしもえげつない物がキャンデーだということはないならばめんど臭くない fact2: 手際良くないものは診断薬であるししかもめんど臭い fact3: その風圧が愛情深いとするとそのコンポーネントはえげつないけれどキャンデーでない fact4: もし仮に「そのコンポーネントは派するし文芸時評である」ということは成り立つということはないならばあの風圧は手際良いということはない fact5: そのコンポーネントがめんど臭くないとすればあのＡＮＴＩは診断薬である一方で手際良くない fact6: 仮に何らかのものが診断薬であるか派するかもしくは両方であるならばそれはシングルセンサーでない fact7: その風圧は愛情深い ; $hypothesis$ = このＡＮＴＩはシングルセンサーでない ; $proof$ = 
fact3 & fact7 -> int1: そのコンポーネントはえげつないけどキャンデーでない; fact1 -> int2: もしそのコンポーネントがえげつない一方でそれはキャンデーでないならばそれはめんど臭いということはない; int1 & int2 -> int3: 「そのコンポーネントはめんど臭くない」ということは確かである; int3 & fact5 -> int4: このＡＮＴＩは診断薬だけど手際良くない; int4 -> int5: このＡＮＴＩは診断薬だ; int5 -> int6: 「このＡＮＴＩは診断薬であるかもしくは派する」ということは成り立つ; fact6 -> int7: もしも「このＡＮＴＩは診断薬であるかまたは派するか両方ともである」ということは確かならばシングルセンサーでない; int6 & int7 -> hypothesis; __PROVED__
事実1: もしもえげつない物がキャンデーだということはないならばめんど臭くない
事実2: 手際良くないものは診断薬であるししかもめんど臭い
事実3: その風圧が愛情深いとするとそのコンポーネントはえげつないけれどキャンデーでない
事実4: もし仮に「そのコンポーネントは派するし文芸時評である」ということは成り立つということはないならばあの風圧は手際良いということはない
事実5: そのコンポーネントがめんど臭くないとすればあのＡＮＴＩは診断薬である一方で手際良くない
事実6: 仮に何らかのものが診断薬であるか派するかもしくは両方であるならばそれはシングルセンサーでない
事実7: その風圧は愛情深い

仮説: このＡＮＴＩはシングルセンサーでない
1. 事実3と事実7から、推論1: "そのコンポーネントはえげつないけどキャンデーでない"が導かれる
2. 事実1から、推論2: "もしそのコンポーネントがえげつない一方でそれはキャンデーでないならばそれはめんど臭いということはない"が導かれる
3. 推論1と推論2から、推論3: "「そのコンポーネントはめんど臭くない」ということは確かである"が導かれる
4. 推論3と事実5から、推論4: "このＡＮＴＩは診断薬だけど手際良くない"が導かれる
5. 推論4から、推論5: "このＡＮＴＩは診断薬だ"が導かれる
6. 推論5から、推論6: "「このＡＮＴＩは診断薬であるかもしくは派する」ということは成り立つ"が導かれる
7. 事実6から、推論7: "もしも「このＡＮＴＩは診断薬であるかまたは派するか両方ともである」ということは確かならばシングルセンサーでない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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