この分析者は生分解性プラスチックであるということはない
fact1: もし何かは倒れ伏さないならばそれは生分解性プラスチックであるかもしくは空撮であるかもしくは両方である fact2: 「その豚糞は空撮でない」ということは成り立つ fact3: 「その豚糞は点てない」ということは成り立つ fact4: あのトレードマークは空撮でない fact5: もし仮にその豚糞が空撮でないならあのトレードマークは点てるがしかし記録等でない fact6: 「あのトレードマークは科学記事であるしそれに潜り込む」ということは事実と異なるとしたらその豚糞は倒れ伏さない fact7: もしもあのトレードマークが点てるけど記録等でないとするとこの分析者は生分解性プラスチックであるということはない fact8: 「この分析者は空撮でない」ということは確かである fact9: もし仮にあのトレードマークが空撮でないとするとその豚糞は点てない fact10: 仮にその豚糞が生分解性プラスチックでまた空撮であるとすれば「この分析者は点てるということはない」ということは成り立つ
fact5 & fact2 -> int1: あのトレードマークは点てるけれどそれは記録等でない; int1 & fact7 -> hypothesis;
fact5 & fact2 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact7 -> hypothesis;
この分析者は生分解性プラスチックである
fact12 -> int2: もし仮にその豚糞が倒れ伏さないとするとそれは生分解性プラスチックであるかもしくは空撮であるかあるいは両方である;
$facts$ = fact1: もし何かは倒れ伏さないならばそれは生分解性プラスチックであるかもしくは空撮であるかもしくは両方である fact2: 「その豚糞は空撮でない」ということは成り立つ fact3: 「その豚糞は点てない」ということは成り立つ fact4: あのトレードマークは空撮でない fact5: もし仮にその豚糞が空撮でないならあのトレードマークは点てるがしかし記録等でない fact6: 「あのトレードマークは科学記事であるしそれに潜り込む」ということは事実と異なるとしたらその豚糞は倒れ伏さない fact7: もしもあのトレードマークが点てるけど記録等でないとするとこの分析者は生分解性プラスチックであるということはない fact8: 「この分析者は空撮でない」ということは確かである fact9: もし仮にあのトレードマークが空撮でないとするとその豚糞は点てない fact10: 仮にその豚糞が生分解性プラスチックでまた空撮であるとすれば「この分析者は点てるということはない」ということは成り立つ ; $hypothesis$ = この分析者は生分解性プラスチックであるということはない ; $proof$ = 
fact5 & fact2 -> int1: あのトレードマークは点てるけれどそれは記録等でない; int1 & fact7 -> hypothesis; __PROVED__
事実1: もし何かは倒れ伏さないならばそれは生分解性プラスチックであるかもしくは空撮であるかもしくは両方である
事実2: 「その豚糞は空撮でない」ということは成り立つ
事実3: 「その豚糞は点てない」ということは成り立つ
事実4: あのトレードマークは空撮でない
事実5: もし仮にその豚糞が空撮でないならあのトレードマークは点てるがしかし記録等でない
事実6: 「あのトレードマークは科学記事であるしそれに潜り込む」ということは事実と異なるとしたらその豚糞は倒れ伏さない
事実7: もしもあのトレードマークが点てるけど記録等でないとするとこの分析者は生分解性プラスチックであるということはない
事実8: 「この分析者は空撮でない」ということは確かである
事実9: もし仮にあのトレードマークが空撮でないとするとその豚糞は点てない
事実10: 仮にその豚糞が生分解性プラスチックでまた空撮であるとすれば「この分析者は点てるということはない」ということは成り立つ

仮説: この分析者は生分解性プラスチックであるということはない
1. 事実5と事実2から、推論1: "あのトレードマークは点てるけれどそれは記録等でない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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