そのぷやぷゆLv.44は持ち易い
fact1: もしそのぷやぷゆLv.44が疑い深くておまけに賢しとすると持ち易いということはない fact2: そのぴにぴにLv.4は遠い fact3: もしあのぷゆぷなLv.76が咲かすとするとそのぷやぷゆLv.44は疑い深い fact4: もし仮にそのぴにぴにLv.4が遠いとしたらあのぷゆぷなLv.76は生温かい fact5: 「そのぷやぷゆLv.44は賢し」ということは正しい fact6: もし仮にあのぷゆぷなLv.76は遠いしさらに生温かいとしたら持ち易くない fact7: もし「あのぷゆぷなLv.76は生温かい」ということは事実だとするとそれは咲かす
fact4 & fact2 -> int1: あのぷゆぷなLv.76は生温かい; int1 & fact7 -> int2: 「あのぷゆぷなLv.76は咲かす」ということは真実だ; int2 & fact3 -> int3: そのぷやぷゆLv.44は疑い深い; int3 & fact5 -> int4: そのぷやぷゆLv.44は疑い深いししかもそれは賢し; int4 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact5 -> int4: ({D}{c} & {E}{c}); int4 & fact1 -> hypothesis;
$facts$ = fact1: もしそのぷやぷゆLv.44が疑い深くておまけに賢しとすると持ち易いということはない fact2: そのぴにぴにLv.4は遠い fact3: もしあのぷゆぷなLv.76が咲かすとするとそのぷやぷゆLv.44は疑い深い fact4: もし仮にそのぴにぴにLv.4が遠いとしたらあのぷゆぷなLv.76は生温かい fact5: 「そのぷやぷゆLv.44は賢し」ということは正しい fact6: もし仮にあのぷゆぷなLv.76は遠いしさらに生温かいとしたら持ち易くない fact7: もし「あのぷゆぷなLv.76は生温かい」ということは事実だとするとそれは咲かす ; $hypothesis$ = そのぷやぷゆLv.44は持ち易い ; $proof$ = 
fact4 & fact2 -> int1: あのぷゆぷなLv.76は生温かい; int1 & fact7 -> int2: 「あのぷゆぷなLv.76は咲かす」ということは真実だ; int2 & fact3 -> int3: そのぷやぷゆLv.44は疑い深い; int3 & fact5 -> int4: そのぷやぷゆLv.44は疑い深いししかもそれは賢し; int4 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact5 -> int4: ({D}{c} & {E}{c}); int4 & fact1 -> hypothesis; __DISPROVED__