この木造建築は親らしい
fact1: もしもなんらかのものが使用し易いか講じ得るか両方だとしたらこの木造建築は親らしくない fact2: その教育面は使用し易くないがしかし講じ得るなら「この木造建築は使用し易い」ということは間違いでない fact3: その教育面は講じ得る fact4: もし「「その教育面はリングでないが子供らしい」ということは成り立つ」ということは成り立たないとすればそれは子供らしくない fact5: 仮にとあるものが子供らしくないならばそれは食事中だし加えて高等学校時代だ fact6: もし仮になにかは使用し易いなら「親らしい」ということは成り立つ fact7: もしもとある物は高等学校時代であるならば「使用し易くないがしかし講じ得る」ということは事実だ fact8: もしも「その教育面は軽トラックでない」ということは成り立つとすると「それはリングでないしさらにそれは子供らしい」ということは偽だ
fact3 -> int1: その教育面は使用し易いかもしくは講じ得るかまたは両方である; int1 -> int2: 「使用し易いかあるいは講じ得るかもしくはどちらもである」ものはある; int2 & fact1 -> hypothesis;
この木造建築は親らしい
fact12 -> int3: もしもこの木造建築が使用し易いとすればそれは親らしい; fact11 -> int4: もし仮に「その教育面は高等学校時代だ」ということは成り立つとすれば使用し易くないし講じ得る; fact14 -> int5: その教育面が子供らしくないなら食事中であるし更に高等学校時代だ;
$facts$ = fact1: もしもなんらかのものが使用し易いか講じ得るか両方だとしたらこの木造建築は親らしくない fact2: その教育面は使用し易くないがしかし講じ得るなら「この木造建築は使用し易い」ということは間違いでない fact3: その教育面は講じ得る fact4: もし「「その教育面はリングでないが子供らしい」ということは成り立つ」ということは成り立たないとすればそれは子供らしくない fact5: 仮にとあるものが子供らしくないならばそれは食事中だし加えて高等学校時代だ fact6: もし仮になにかは使用し易いなら「親らしい」ということは成り立つ fact7: もしもとある物は高等学校時代であるならば「使用し易くないがしかし講じ得る」ということは事実だ fact8: もしも「その教育面は軽トラックでない」ということは成り立つとすると「それはリングでないしさらにそれは子供らしい」ということは偽だ ; $hypothesis$ = この木造建築は親らしい ; $proof$ = 
fact3 -> int1: その教育面は使用し易いかもしくは講じ得るかまたは両方である; int1 -> int2: 「使用し易いかあるいは講じ得るかもしくはどちらもである」ものはある; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものが使用し易いか講じ得るか両方だとしたらこの木造建築は親らしくない
事実2: その教育面は使用し易くないがしかし講じ得るなら「この木造建築は使用し易い」ということは間違いでない
事実3: その教育面は講じ得る
事実4: もし「「その教育面はリングでないが子供らしい」ということは成り立つ」ということは成り立たないとすればそれは子供らしくない
事実5: 仮にとあるものが子供らしくないならばそれは食事中だし加えて高等学校時代だ
事実6: もし仮になにかは使用し易いなら「親らしい」ということは成り立つ
事実7: もしもとある物は高等学校時代であるならば「使用し易くないがしかし講じ得る」ということは事実だ
事実8: もしも「その教育面は軽トラックでない」ということは成り立つとすると「それはリングでないしさらにそれは子供らしい」ということは偽だ

仮説: この木造建築は親らしい
1. 事実3から、推論1: "その教育面は使用し易いかもしくは講じ得るかまたは両方である"が導かれる
2. 推論1から、推論2: "「使用し易いかあるいは講じ得るかもしくはどちらもである」ものはある"が導かれる
3. 推論2と事実1から、仮説が否定される

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